vt: fix %.*s in sendncars()

[plan9front.git] / sys / include / sat.h

diff --git a/sys/include/sat.h b/sys/include/sat.h
index ec3f86448e450f8d82429ef041fc8cefc1da3705..416241f59a2bec7df3977d9ec6a0ad9cf25dc788 100644 (file)
--- 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 {
@@ -101,4 +105,5 @@ int satmore(SATSolve *);
 int satval(SATSolve *, int);
 void satfree(SATSolve *);
 void satreset(SATSolve *);
-
+int satget(SATSolve *, int, int *, int);
+void satvafix(va_list);