Make CI happy

michael-schwarz · michael-schwarz · commit b41d9f778a55 · 2025-03-09T09:46:22.000+01:00
diff --git a/scripts/goblint-lib-modules.py b/scripts/goblint-lib-modules.py
@@ -61,6 +61,8 @@
     "ConfigProfile",
     "ConfigOcaml",
     "ConfigDatetime",
+
+    "Variables"
 ])
 
 src_modules = set()
