summary refs log tree commit diff
path: root/source/xi/xi.ml
diff options
context:
space:
mode:
Diffstat (limited to 'source/xi/xi.ml')
-rw-r--r--source/xi/xi.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/source/xi/xi.ml b/source/xi/xi.ml
index 86a23f1..d59dbf6 100644
--- a/source/xi/xi.ml
+++ b/source/xi/xi.ml
@@ -72,7 +72,7 @@ module CommandLine = struct
 
   let cmd =
     let doc = "Compile Xi Program" in
-    let version = "pracownia1.1-0-gc10b4f2" in
+    let version = "pracownia2.3-0-g63fd12e" in
     Term.(const compile $ xi_log $ extra_debug $ mod_uwr $ plugin $ reg_descr $ stop_after $ output $ source_file),
     Term.info "xi" ~doc ~version