From 08986a7a748a8ae747e076a3807e367f479b3ece Mon Sep 17 00:00:00 2001
From: funemy
Date: Sun, 23 Oct 2022 19:26:05 -0700
Subject: fix

---
 entries/funemy/z3/z3fib.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'entries/funemy')

diff --git a/entries/funemy/z3/z3fib.sh b/entries/funemy/z3/z3fib.sh
index d3a93c2..ecf42b4 100755
--- a/entries/funemy/z3/z3fib.sh
+++ b/entries/funemy/z3/z3fib.sh
@@ -35,7 +35,9 @@ do
 done
 
 echo "    (= x0 0)" >> fib.smt2
-echo "    (= x1 1)" >> fib.smt2
+if [ "$1" -ge "1" ]; then
+  echo "    (= x1 1)" >> fib.smt2
+fi
 
 if [ "$1" -ge "2" ]; then
   for i in $(seq 2 $1);
-- 
cgit v1.2.3-70-g09d2