diff options
| author | funemy | 2022-10-24 02:24:26 +0000 |
|---|---|---|
| committer | funemy | 2022-10-24 02:24:26 +0000 |
| commit | 31aa5baf3cc0935b579ac41b194f46e771443583 (patch) | |
| tree | 9daf6e060970d0eee8e63eaa4c365a0da0713585 /entries/funemy/z3/z3fib.sh | |
| parent | 95f14a976eda122d8f58ed1ff6ee4f16f1f81b77 (diff) | |
minor
Diffstat (limited to 'entries/funemy/z3/z3fib.sh')
| -rwxr-xr-x | entries/funemy/z3/z3fib.sh | 1 |
1 files changed, 0 insertions, 1 deletions
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 |