From cf530ca49024dbdac4234c52a6838fb209ab6cb6 Mon Sep 17 00:00:00 2001
From: funemy
Date: Tue, 25 Oct 2022 02:18:23 -0700
Subject: when i still have chance to format

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

(limited to 'entries/funemy/z3')

diff --git a/entries/funemy/z3/z4fib.sh b/entries/funemy/z3/z4fib.sh
index 97ae59b..b7488e4 100755
--- a/entries/funemy/z3/z4fib.sh
+++ b/entries/funemy/z3/z4fib.sh
@@ -32,6 +32,7 @@ echo "      (=> (and (> i 1) (< i (seq.len fib)))" >> fib.smt2
 echo "        (= (seq.nth fib i)" >> fib.smt2
 echo "          (+ (seq.nth fib (- i 1))" >> fib.smt2
 echo "            (seq.nth fib (- i 2))))))))" >> fib.smt2
+echo "" >> fib.smt2
 
 
 echo "(check-sat)" >> fib.smt2
-- 
cgit v1.2.3-70-g09d2