diff options
| -rw-r--r-- | sys/include/sat.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/include/sat.h b/sys/include/sat.h index 0fd84fcd3..6251b43ae 100644 --- 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); |