From 1dbf2df9837a33381b1bf62269edd8eaec144a3c Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Thu, 14 Aug 2025 09:15:43 +0200
Subject: [PATCH] Add libfl-dev for CodeQL CI job

---
 .github/workflows/codeql.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 75d799fe1..95595924a 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Install deps
-      run: sudo apt-get install bison flex libreadline-dev tcl-dev libffi-dev
+      run: sudo apt-get install bison flex libfl-dev libreadline-dev tcl-dev libffi-dev
 
     - name: Checkout repository
       uses: actions/checkout@v4