diff --git a/lab5.5/diophantine.fs b/lab5.5/diophantine.fs
index e31f344..db715ed 100644
--- a/lab5.5/diophantine.fs
+++ b/lab5.5/diophantine.fs
@@ -69,7 +69,7 @@
         ." x = " . ." ∧ y = " .
     then ;
 
-\ prints and consumes the number, adds a space if negative
+\ prints and consumes the number, adds a space if positive
 \ examples:
 \    3: ` 3`
 \   -5: `-5`