message: codeql: install re2c as well
diff: @@ -20,7 +20,7 @@ jobs:
  steps:
  - name: Install dependencies
  - run: sudo apt-get install z3
  + run: sudo apt-get install re2c z3
  - name: Checkout repository
  uses: actions/checkout@v2
  