From ae3c469407df59439fb0346344990c0155dcd7a2 Mon Sep 17 00:00:00 2001
From: funemy
Date: Tue, 25 Oct 2022 02:23:05 -0700
Subject: redundant line

---
 entries/funemy/z3/z4fib.sh | 1 -
 1 file changed, 1 deletion(-)

(limited to 'entries/funemy/z3/z4fib.sh')

diff --git a/entries/funemy/z3/z4fib.sh b/entries/funemy/z3/z4fib.sh
index 983a752..d5ad2d9 100755
--- a/entries/funemy/z3/z4fib.sh
+++ b/entries/funemy/z3/z4fib.sh
@@ -34,7 +34,6 @@ echo "          (+ (seq.nth fib (- i 1))" >> fib.smt2
 echo "            (seq.nth fib (- i 2))))))))" >> fib.smt2
 echo "" >> fib.smt2
 
-
 echo "(check-sat)" >> fib.smt2
 echo "(get-model)" >> fib.smt2
 
-- 
cgit v1.2.3-70-g09d2