diff options
author | aiju <devnull@localhost> | 2018-04-24 12:20:07 +0100 |
---|---|---|
committer | aiju <devnull@localhost> | 2018-04-24 12:20:07 +0100 |
commit | 29f03ba4e74ec58b87e3e6470aadfb58ee804f48 (patch) | |
tree | df596c512fd8add63ae327c5fd12b1f4f766eb36 /sys/include | |
parent | 8666ec6b555ec21e8c81089148527913febc7e53 (diff) |
libsat, forp: fix va_list hack on amd64
Diffstat (limited to 'sys/include')
-rw-r--r-- | sys/include/sat.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/include/sat.h b/sys/include/sat.h index 6251b43ae..416241f59 100644 --- 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); |