From 31aa5baf3cc0935b579ac41b194f46e771443583 Mon Sep 17 00:00:00 2001
From: funemy
Date: Sun, 23 Oct 2022 19:24:26 -0700
Subject: minor

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

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

diff --git a/entries/funemy/z3/z3fib.sh b/entries/funemy/z3/z3fib.sh
index 03a7209..d3a93c2 100755
--- a/entries/funemy/z3/z3fib.sh
+++ b/entries/funemy/z3/z3fib.sh
@@ -44,7 +44,6 @@ if [ "$1" -ge "2" ]; then
   done
 fi
 
-
 echo "  )" >> fib.smt2
 echo ")" >> fib.smt2
 
-- 
cgit v1.2.3-70-g09d2