slight output speed improvement

eyereasoner · Nov 27, 2024 · 51aed97 · 51aed97
1 parent a9cc6da
commit 51aed97
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 3 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.30.9 (2024-11-27) slight output speed improvement
 v10.30.8 (2024-11-26) fixing opts/2
 v10.30.7 (2024-11-26) changing --proof-explanation to --ether (explain the reasoning)
 v10.30.6 (2024-11-25) adding --proof-explanation command line switch to output proof explanation using log:proves

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-10.30.8
+10.30.9
diff --git a/eye.pl b/eye.pl
@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v10.30.8 (2024-11-26)').
+version_info('EYE v10.30.9 (2024-11-27)').
 
 license_info('MIT License
 
@@ -4537,7 +4537,10 @@
         write(' '),
         wp(P),
         write(' '),
-        wg(O)
+        (   prolog_sym(_, O, _)
+        ->  write(O)
+        ;   wg(O)
+        )
     ).
 
 wtn(exopred(P, S, O)) :-

diff --git a/eye.zip b/eye.zip