aboutsummaryrefslogtreecommitdiff
path: root/entries
diff options
context:
space:
mode:
Diffstat (limited to 'entries')
-rw-r--r--entries/funemy/symbolic/phib.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/entries/funemy/symbolic/phib.py b/entries/funemy/symbolic/phib.py
index 30d68a8..c6fb23e 100644
--- a/entries/funemy/symbolic/phib.py
+++ b/entries/funemy/symbolic/phib.py
@@ -4,7 +4,7 @@ def phib(xs: List[int]) -> bool:
"""
Instructions:
1. `pip install crosshair-tool`
- 2. modify the precondition `pre` to control the length of your fib sequence
+ 2. modify the precondition `pre` to control the length of your fib sequence
3. run `crosshair check phib.py` in your terminal
pre: len(xs) >= 10