Bump version to 0.3.0

inria-parkas · Oct 9, 2018 · 4c0ec48 · 4c0ec48
1 parent 4e4c4bc
commit 4c0ec48
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/main/cli_options.ml b/main/cli_options.ml
@@ -24,7 +24,7 @@
 (***********************************************************************)
 
 (* version of the compiler *)
-let version = "0.2.2"
+let version = "0.3.0"
 
 let verbose = ref false
 let print_types = ref false