dpost prologue: update /radicalex to fix square displacement (thanks umbraticus and...

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

diff --git a/sys/include/sat.h b/sys/include/sat.h
index 6251b43ae7c0f463d672373e2234713b800c8458..416241f59a2bec7df3977d9ec6a0ad9cf25dc788 100644 (file)
--- a/sys/include/sat.h
+++ b/sys/include/sat.h
@@ -106,3 +106,4 @@ int satval(SATSolve *, int);
 void satfree(SATSolve *);
 void satreset(SATSolve *);
 int satget(SATSolve *, int, int *, int);
+void satvafix(va_list);