summaryrefslogtreecommitdiff
path: root/sys/include
diff options
context:
space:
mode:
authoraiju <devnull@localhost>2018-04-24 12:20:07 +0100
committeraiju <devnull@localhost>2018-04-24 12:20:07 +0100
commit29f03ba4e74ec58b87e3e6470aadfb58ee804f48 (patch)
treedf596c512fd8add63ae327c5fd12b1f4f766eb36 /sys/include
parent8666ec6b555ec21e8c81089148527913febc7e53 (diff)
libsat, forp: fix va_list hack on amd64
Diffstat (limited to 'sys/include')
-rw-r--r--sys/include/sat.h1
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);