From a4e58fee002a5bcfed3945173361a043530fb298 Mon Sep 17 00:00:00 2001
From: jacekpoz <jacekpoz@proton.me>
Date: Sun, 23 Jun 2024 14:45:11 +0200
Subject: [PATCH] update fn comment (thanks krizej)

---
 lab5.5/diophantine.fs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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`