summaryrefslogtreecommitdiff
path: root/sys/src/libsat/satrange.c
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/src/libsat/satrange.c
parent8666ec6b555ec21e8c81089148527913febc7e53 (diff)
libsat, forp: fix va_list hack on amd64
Diffstat (limited to 'sys/src/libsat/satrange.c')
-rw-r--r--sys/src/libsat/satrange.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/src/libsat/satrange.c b/sys/src/libsat/satrange.c
index 76caa5713..c202a8fc1 100644
--- a/sys/src/libsat/satrange.c
+++ b/sys/src/libsat/satrange.c
@@ -62,6 +62,7 @@ satrangev(SATSolve *s, int min, int max, ...)
va_start(va, max);
/* horrible hack */
+ satvafix(va);
s = satrange1(s, (int*)va, -1, min, max);
va_end(va);
return s;