vt: fix %.*s in sendncars()

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

diff --git a/sys/include/sat.h b/sys/include/sat.h
index 0fd84fcd3ac69d1ff1e4d49579174a7ef5b9b479..416241f59a2bec7df3977d9ec6a0ad9cf25dc788 100644 (file)
--- a/sys/include/sat.h
+++ b/sys/include/sat.h
@@ -105,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);