diff options
| author | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2019-01-27 14:13:33 +0100 |
|---|---|---|
| committer | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2019-01-27 14:13:33 +0100 |
| commit | 218a54543d24f82f2b85e80f55b8300e1b6aee31 (patch) | |
| tree | 3f25478497ff8733fc2489281bc8cf70e86f256b /source/xi/xi.ml | |
| parent | Almost working live variable analysis (diff) | |
Constant folding optimization - sources
Diffstat (limited to 'source/xi/xi.ml')
| -rw-r--r-- | source/xi/xi.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/xi/xi.ml b/source/xi/xi.ml index b064be6..1d57d99 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 = "pracownia5-0-geed1995" in + let version = "pracownia6-0-g5bf290f" in Term.(const compile $ xi_log $ extra_debug $ mod_uwr $ plugin $ reg_descr $ stop_after $ output $ source_file), Term.info "xi" ~doc ~version |