From 9f18b0f388a38a35ea8920fe3e98c7f8e3a41cf2 Mon Sep 17 00:00:00 2001
From: aiju <devnull@localhost>
Date: Sun, 18 Mar 2018 01:15:07 +0000
Subject: [PATCH] add #pragma incomplete to sat.h

---
 sys/include/sat.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/sys/include/sat.h b/sys/include/sat.h
index ec3f86448..0fd84fcd3 100644
--- a/sys/include/sat.h
+++ b/sys/include/sat.h
@@ -7,6 +7,10 @@ typedef struct SATBlock SATBlock;
 typedef struct SATVar SATVar;
 typedef struct SATLit SATLit;
 typedef struct SATConflict SATConflict;
+#pragma incomplete SATClause
+#pragma incomplete SATVar
+#pragma incomplete SATLit
+#pragma incomplete SATConflict
 
 /* user adjustable parameters */
 struct SATParam {