Add missing headers

JackHack96 · Feb 24, 2025 · 5361c3d · 5361c3d
1 parent c6270c5
commit 5361c3d
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/sis/atpg/atpg.h b/sis/atpg/atpg.h
@@ -1,5 +1,9 @@
 
+#include "list.h"
+#include "node.h"
 #include "sat.h"
+#include "st.h"
+#include "seqbdd.h"
 
 typedef enum stuck_value_enum stuck_value_t;
 enum stuck_value_enum {

diff --git a/sis/seqbdd/seqbdd.h b/sis/seqbdd/seqbdd.h
@@ -1,10 +1,12 @@
-
- /* file %M% release %I% */
+/* file %M% release %I% */
  /* last modified: %G% at %U% */
 
 #ifndef VERIF_INT_H
 #define VERIF_INT_H
 
+#include "array.h"
+#include "node.h"
+#include "st.h"
 typedef enum {
     CONSISTENCY_METHOD,
     BULL_METHOD,