From 833d81f2b010ecaafac935d21a3f15f80cce1e25 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Thu, 14 Aug 2025 02:49:20 +0200
Subject: Improve scanning

Fixes scanning of relation symbols and adds a few error cases for function symbols.
---
 test/golden/abbr/encoding tasks.golden | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/test/golden/abbr/encoding tasks.golden b/test/golden/abbr/encoding tasks.golden
index 18ba749..365aa3d 100644
--- a/test/golden/abbr/encoding tasks.golden	
+++ b/test/golden/abbr/encoding tasks.golden	
@@ -1,6 +1,6 @@
 fof(dummy_abbr_test_adj,conjecture,~?[Xy]:elem(Xy,fx)=>~?[Xy]:elem(Xy,fx)).
 ------------------
-fof(dummy_abbr_test_noun,conjecture,fx=fx).
+fof(dummy_abbr_test_noun,conjecture,![Xx]:Xx=Xx).
 fof(dummy_abbr_test_adj,axiom,![Xx]:(~?[Xy]:elem(Xy,Xx)=>~?[Xy]:elem(Xy,Xx))).
 ------------------
 fof(dummy_abbr_test_verb,conjecture,fx=fy=>fx=fy).
-- 
cgit v1.2.3