fixing --pass-only-new

eyereasoner · Oct 18, 2023 · fe83c41 · fe83c41
1 parent 2767423
commit fe83c41
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v5.1.1 (2023-10-18) fixing --pass-only-new
 v5.1.0 (2023-10-17) implicit global scope of blank nodes
 v5.0.10 (2023-10-15) testing s(urface) equ(ivalent) ent(ailment)s
 v5.0.9 (2023-10-15) Surface Equivalent Entailment - SEE

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-5.1.0
+5.1.1
diff --git a/eye.pl b/eye.pl
@@ -21,7 +21,7 @@
 :- use_module(library(pcre)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v5.1.0 (2023-10-17)').
+version_info('EYE v5.1.1 (2023-10-18)').
 
 license_info('MIT License
 
@@ -417,8 +417,7 @@
     ),
     args(Args),
     (   flag(blogic)
-    ->  retractall(flag('pass-only-new')),
-        blogic
+    ->  blogic
     ;   true
     ),
     (   implies(_, Conc, _),

diff --git a/eye.zip b/eye.zip
diff --git a/reasoning/blogic/version.n3.out b/reasoning/blogic/version.n3.out
@@ -1,3 +1,3 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
-() log:version "EYE v5.1.0 (2023-10-17)".
+() log:version "EYE v5.1.1 (2023-10-18)".