1 files changed, 1 insertions, 1 deletions
diff --git a/coq/utf8.v b/coq/utf8.v
index ab702dcb..ad02b2c2 100644
--- a/coq/utf8.v
+++ b/coq/utf8.v
@@ -50,7 +50,7 @@ Notation "x ≥ y" := (ge x y) (at level 70, no associativity).
 
 (* test *)
 (*
-Goal ∀ x, True -> (∃ y , x ≥ y + 1) ∨ x ≤ y.
+Goal ∀ x, True -> (∃ y , x ≥ y + 1) ∨ x ≤ 0.
 *)
 
 (* Test for error message