Fix utop -vnum (#231)

The handler for 'utop -vnum' failed to terminate after printing the version number.
2018-02-26 12:34:37 +00:00 · 2018-02-26 12:34:37 +00:00 · 262539ae26
parent d6e873cafc
commit 262539ae26
1 changed files with 2 additions and 1 deletions
--- a/src/lib/uTop_main.ml
+++ b/src/lib/uTop_main.ml
@ -1175,7 +1175,8 @@ let print_version () =
  exit 0

 let print_version_num () =
-  Printf.printf "%s\n" UTop.version
+  Printf.printf "%s\n" UTop.version;
+  exit 0

 (* Config from command line *)
 let autoload = ref true