fixing issue #145

josd · josd · commit 8edd00d08b38 · 2025-03-21T00:15:26.000+01:00
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v11.12.11 (2025-03-21) fixing issue https://github.com/eyereasoner/eye/issues/145
 v11.12.10 (2025-03-19) fixing default quantify uri prefix
 v11.12.9 (2025-03-18) adding default quantify uri prefix
 v11.12.8 (2025-03-18) fixing nexus and run ldes example
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-11.12.10
+11.12.11
diff --git a/eye.pl b/eye.pl
@@ -23,7 +23,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v11.12.10 (2025-03-19)').
+version_info('EYE v11.12.11 (2025-03-21)').
 
 license_info('MIT License
 
@@ -5030,7 +5030,7 @@
         ;   true
         ),
         (   flag('no-ucall')
-        ->  catch(call_residue_vars(call(Prem), []), Exc,
+        ->  catch(call(Prem), Exc,
                 (   Exc = error(existence_error(procedure, _), _)
                 ->  fail
                 ;   throw(Exc)
diff --git a/eye.zip b/eye.zip
diff --git a/test b/test
@@ -2,8 +2,3 @@
 pushd reasoning > /dev/null
 ./test
 popd > /dev/null
-echo ""
-
-pushd nexus > /dev/null
-./test
-popd > /dev/null
