fixing --version

KNowledgeOnWebScale · Mar 5, 2024 · 76c0303 · 76c0303
1 parent b199cf1
commit 76c0303
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.0.3
+0.0.4
diff --git a/see.pl b/see.pl
@@ -21,7 +21,7 @@
 :- use_module(library(pcre)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('SEE v0.0.3 (2024-03-05)').
+version_info('SEE v0.0.4 (2024-03-05)').
 
 help_info('Usage: see <options>* <data>*
 see
@@ -385,6 +385,9 @@
     opts(Argus, Args).
 opts(['--version'|_], _) :-
     !,
+    version_info(Version),
+    format(user_error, '~w~n', [Version]),
+    flush_output(user_error),
     throw(halt(0)).
 opts(['--wcache', Argument, File|Argus], Args) :-
     !,