chore(version) Bump 0.9.4

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
accordproject · Jul 26, 2019 · ffb8050 · ffb8050
1 parent f131304
commit ffb8050
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/mechanization/Version.v b/mechanization/Version.v
@@ -17,7 +17,7 @@
 Require Import String.
 
 Section Version.
-    Definition ergo_version := "0.9.3"%string.
+    Definition ergo_version := "0.9.4"%string.
 
 End Version.
 
diff --git a/packages/ergo-cli/extracted/ergoccore.js b/packages/ergo-cli/extracted/ergoccore.js
diff --git a/packages/ergo-cli/extracted/ergotopcore.js b/packages/ergo-cli/extracted/ergotopcore.js
diff --git a/packages/ergo-compiler/extracted/compilercore.js b/packages/ergo-compiler/extracted/compilercore.js