From d8e44d7e8e043eb5559ff7228f2bd6c4ecbce3f0 Mon Sep 17 00:00:00 2001
From: Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>
Date: Sun, 9 Dec 2018 17:49:20 +0100
Subject: Initial code for translator

---
 source/xi/xi.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'source/xi/xi.ml')

diff --git a/source/xi/xi.ml b/source/xi/xi.ml
index d59dbf6..c54a499 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 = "pracownia2.3-0-g63fd12e" in
+    let version = "pracownia3.1-0-g147dd61" in
     Term.(const compile $ xi_log $ extra_debug $ mod_uwr $ plugin $ reg_descr $ stop_after $ output $ source_file),
     Term.info "xi" ~doc ~version
 
-- 
cgit 1.4.1