(chore) Bump version 0.4.4

Signed-off-by: Jerome Simeon <[email protected]>
accordproject · Oct 10, 2018 · 1750116 · 1750116
1 parent a34c567
commit 1750116
Show file tree

Hide file tree

Showing 5 changed files with 31 additions and 31 deletions.
diff --git a/mechanization/Version.v b/mechanization/Version.v
@@ -17,7 +17,7 @@
 Require Import String.
 
 Section Version.
-    Definition ergo_version := "0.4.3"%string.
+    Definition ergo_version := "0.4.4"%string.
 
 End Version.
 
diff --git a/package-lock.json b/package-lock.json