sat.h: update to include satget

2018-03-28 20:36:04 +00:00 · 2018-03-28 20:36:04 +00:00 · 57edb0b2d4
parent 2ca54f6a26
commit 57edb0b2d4
1 changed files with 1 additions and 1 deletions
--- a/sys/include/sat.h
+++ b/sys/include/sat.h
@ -105,4 +105,4 @@ int satmore(SATSolve *);
 int satval(SATSolve *, int);
 void satfree(SATSolve *);
 void satreset(SATSolve *);
-
+int satget(SATSolve *, int, int *, int);