diff options
| author | aiju <devnull@localhost> | 2018-03-28 20:36:04 +0000 |
|---|---|---|
| committer | aiju <devnull@localhost> | 2018-03-28 20:36:04 +0000 |
| commit | 57edb0b2d451dbefbb7c138496b92d4d5de62d04 (patch) | |
| tree | fe78d9d9b987bdece13451ce85ca4cc578625b77 /sys | |
| parent | 2ca54f6a26ceda9cfe5012c641154e203ff9a83b (diff) | |
sat.h: update to include satget
Diffstat (limited to 'sys')
| -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); |