From 29f03ba4e74ec58b87e3e6470aadfb58ee804f48 Mon Sep 17 00:00:00 2001
From: aiju <devnull@localhost>
Date: Tue, 24 Apr 2018 12:20:07 +0100
Subject: libsat, forp: fix va_list hack on amd64

---
 sys/src/libsat/satrange.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'sys/src/libsat/satrange.c')

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;
-- 
cgit v1.2.3