Delete lfi.bdd.h include

zyedidia · Jun 18, 2024 · 8cc25aa · 8cc25aa
1 parent 7ce8b92
commit 8cc25aa
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/lfi-veribdd/verifier.c b/lfi-veribdd/verifier.c
@@ -1,5 +1,3 @@
-#include "lfi.bdd.h"
-
 #include <stdint.h>
 #include <string.h>
 #include <stdbool.h>