From a0a3e2005daa8692ed5fae4835c8f9c957a32d55 Mon Sep 17 00:00:00 2001
From: hondet <gabrielhondet@gmail.com>
Date: Tue, 25 May 2021 13:26:04 +0200
Subject: [PATCH] Nat not constant

---
 personoj/nat.lp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/personoj/nat.lp b/personoj/nat.lp
index 7af7eb0..28a4449 100644
--- a/personoj/nat.lp
+++ b/personoj/nat.lp
@@ -1,5 +1,5 @@
 require open personoj.lhol personoj.logical;
-constant symbol Nat: TYPE;
+symbol Nat: TYPE;
 
 constant symbol zero: Nat;       builtin "0" ≔ zero;
 constant symbol succ: Nat → Nat; builtin "+1" ≔ succ;
-- 
GitLab