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/cmd/forp/logic.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'sys/src/cmd/forp')

diff --git a/sys/src/cmd/forp/logic.c b/sys/src/cmd/forp/logic.c
index b266e3bca..542065074 100644
--- a/sys/src/cmd/forp/logic.c
+++ b/sys/src/cmd/forp/logic.c
@@ -46,6 +46,7 @@ satandv(SATSolve *sat, ...)
 	va_list va;
 	
 	va_start(va, sat);
+	satvafix(va);
 	r = satand1(sat, (int*)va, -1);
 	va_end(va);
 	return r;
@@ -90,6 +91,7 @@ satorv(SATSolve *sat, ...)
 	int r;
 	
 	va_start(va, sat);
+	satvafix(va);
 	r = sator1(sat, (int*)va, -1);
 	va_end(va);
 	return r;
@@ -267,6 +269,7 @@ satlogicv(SATSolve *sat, u64int op, ...)
 	int r;
 	
 	va_start(va, op);
+	satvafix(va);
 	r = satlogic1(sat, op, (int*)va, -1);
 	va_end(va);
 	return r;
-- 
cgit v1.2.3