(chore) Bump version number to 0.5.8

Signed-off-by: Jerome Simeon <[email protected]>
accordproject · Dec 22, 2018 · 2d40f04 · 2d40f04
1 parent 2dd76d4
commit 2d40f04
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/mechanization/Version.v b/mechanization/Version.v
@@ -17,7 +17,7 @@
 Require Import String.
 
 Section Version.
-    Definition ergo_version := "0.5.7"%string.
+    Definition ergo_version := "0.5.8"%string.
 
 End Version.
 
diff --git a/packages/ergo-cli/lib/ergoc-lib.js b/packages/ergo-cli/lib/ergoc-lib.js
diff --git a/packages/ergo-cli/lib/ergotop-lib.js b/packages/ergo-cli/lib/ergotop-lib.js
diff --git a/packages/ergo-compiler/lib/ergo-core.js b/packages/ergo-compiler/lib/ergo-core.js