Ignore Goblint_tracing in Goblint_lib modules check

goblint · Dec 8, 2023 · 3b82569 · 3b82569
1 parent 5456999
commit 3b82569
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/goblint-lib-modules.py b/scripts/goblint-lib-modules.py
@@ -35,6 +35,7 @@
     "Goblint_std",
     "Goblint_timing",
     "Goblint_backtrace",
+    "Goblint_tracing",
     "Goblint_sites",
     "Goblint_build_info",
     "Dune_build_info",