From a89c7847195a7b20e307b042fbc821e741ccdaa4 Mon Sep 17 00:00:00 2001
From: funemy
Date: Sun, 23 Oct 2022 16:16:41 -0700
Subject: minor

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

(limited to 'entries/funemy')

diff --git a/entries/funemy/z3/z3fib.sh b/entries/funemy/z3/z3fib.sh
index fdc8937..9faa228 100755
--- a/entries/funemy/z3/z3fib.sh
+++ b/entries/funemy/z3/z3fib.sh
@@ -3,7 +3,7 @@
 # Instruction:
 #  1. having z3 installed and under you $PATH
 #  2. making sure z3fib.sh is executable, by `chmod +x z3fib.sh`
-#  3. run as `./z3fib.sh [length of the fib sequence]`
+#  3. running as `./z3fib.sh [length of the fib sequence]`
 #  4. having fun :)
 
 if [ -e fib.smt2 ]
-- 
cgit v1.2.3-70-g09d2