From 6d5233f982bc58be509b71a4988b4e6f5e76e71e Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 22 Oct 2015 23:32:01 +0200
Subject: [PATCH] update

---
 ar/assignments/src/a4.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ar/assignments/src/a4.bash b/ar/assignments/src/a4.bash
index 7a5211d..569e152 100644
--- a/ar/assignments/src/a4.bash
+++ b/ar/assignments/src/a4.bash
@@ -2,4 +2,4 @@ i=1
 while [ $(python3 a4.py $i | yices-smt) = "unsat" ]; do
 	i=$((i+1))
 done
-python3 a3.py $((i-1)) | yices-smt -m
+python3 a3.py $i | yices-smt -m
-- 
2.20.1