From 7a80b75aeaf7fd6e8828b843fa58664f11451833 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Mon, 1 Apr 2024 22:40:33 +0200
Subject: Allow numbers in markers (from the second char)

---
 test/golden/byRef/encoding tasks.golden | 34 ++++++++++++++++-----------------
 1 file changed, 17 insertions(+), 17 deletions(-)

(limited to 'test/golden/byRef/encoding tasks.golden')

diff --git a/test/golden/byRef/encoding tasks.golden b/test/golden/byRef/encoding tasks.golden
index 75c9e78..47513ec 100644
--- a/test/golden/byRef/encoding tasks.golden	
+++ b/test/golden/byRef/encoding tasks.golden	
@@ -1,22 +1,22 @@
-fof(first_proposition,conjecture,fa=fa).
+fof(prop1,conjecture,fa=fa).
 ------------------
-fof(second_proposition,conjecture,fb=fb).
-fof(first_proposition,axiom,![Xa]:Xa=Xa).
+fof(prop2,conjecture,fb=fb).
+fof(prop1,axiom,![Xa]:Xa=Xa).
 ------------------
-fof(third_proposition,conjecture,fc=fc).
-fof(first_proposition,axiom,![Xa]:Xa=Xa).
+fof(prop3,conjecture,fc=fc).
+fof(prop1,axiom,![Xa]:Xa=Xa).
 ------------------
-fof(fourth_proposition,conjecture,![Xd]:Xd=Xd).
-fof(first_proposition,axiom,![Xa]:Xa=Xa).
+fof(prop4,conjecture,![Xd]:Xd=Xd).
+fof(prop1,axiom,![Xa]:Xa=Xa).
 ------------------
-fof(fourth_proposition,conjecture,fe=fe).
-fof(third_proposition,axiom,![Xc]:Xc=Xc).
-fof(second_proposition,axiom,![Xb]:Xb=Xb).
-fof(first_proposition,axiom,![Xa]:Xa=Xa).
-fof(fourth_proposition1,axiom,![Xd]:Xd=Xd).
+fof(prop4,conjecture,fe=fe).
+fof(prop3,axiom,![Xc]:Xc=Xc).
+fof(prop2,axiom,![Xb]:Xb=Xb).
+fof(prop1,axiom,![Xa]:Xa=Xa).
+fof(prop41,axiom,![Xd]:Xd=Xd).
 ------------------
-fof(fifth_proposition,conjecture,ff=ff).
-fof(fourth_proposition,axiom,![Xe]:Xe=Xe).
-fof(third_proposition,axiom,![Xc]:Xc=Xc).
-fof(second_proposition,axiom,![Xb]:Xb=Xb).
-fof(first_proposition,axiom,![Xa]:Xa=Xa).
\ No newline at end of file
+fof(prop5,conjecture,ff=ff).
+fof(prop4,axiom,![Xe]:Xe=Xe).
+fof(prop3,axiom,![Xc]:Xc=Xc).
+fof(prop2,axiom,![Xb]:Xb=Xb).
+fof(prop1,axiom,![Xa]:Xa=Xa).
\ No newline at end of file
-- 
cgit v1.2.3