From 318379f73a4f6beae40687e7122ac476abe526f1 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 8 Sep 2004 11:36:53 +0000
Subject: type check cc command

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

(limited to 'grammars')

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