diff options
Diffstat (limited to 'grammars')
| -rw-r--r-- | grammars/logic/Arithm.gf | 2 |
1 files changed, 1 insertions, 1 deletions
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 = |