From 51c9afa5c8025971d8080fa271a0e8486b9effde Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 25 Aug 2004 15:17:13 +0000
Subject: codevars

---
 grammars/logic/Arithm.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'grammars')

diff --git a/grammars/logic/Arithm.gf b/grammars/logic/Arithm.gf
index 7674e9551..0cf07e0c1 100644
--- a/grammars/logic/Arithm.gf
+++ b/grammars/logic/Arithm.gf
@@ -44,7 +44,7 @@ def
               (LtNat one n) 
               (Univ Nat (\x -> Impl (Conj (LtNat one x) (Div n x)) (EqNat x n))) ;
 
---- data Elem = zero | succ ;
+---  data Elem = zero | succ ;
 
 fun ex1 : Text ;
 def ex1 = 
-- 
cgit v1.2.3