From faea8019ff496be6b5bf49f8257117fb1bddacef Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 6 Jun 2008 08:19:00 +0000
Subject: Fixed example file for utf8.

---
 coq/utf8.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3