Releasing 2.0.2

abella-prover · Oct 22, 2014 · 09f5aed · 09f5aed
1 parent 886545a
commit 09f5aed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/myocamlbuild.ml b/myocamlbuild.ml
@@ -4,7 +4,7 @@
 let major_version  : int           = 2
 let minor_version  : int           = 0
 let patch_version  : int           = 2
-let flavor_version : string option = Some "dev"
+let flavor_version : string option = None
 (* END VERSION *)
 
 let version_string =