chore(build) Up version 0.20.7

Signed-off-by: Jerome Simeon <[email protected]>
accordproject · Dec 20, 2019 · 4ae2f4e · 4ae2f4e
1 parent af35863
commit 4ae2f4e
Show file tree

Hide file tree

Showing 6 changed files with 19 additions and 19 deletions.
diff --git a/mechanization/Version.v b/mechanization/Version.v
@@ -17,7 +17,7 @@
 Require Import String.
 
 Section Version.
-    Definition ergo_version := "0.20.6"%string.
+    Definition ergo_version := "0.20.7"%string.
 
 End Version.
 
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -162,4 +162,4 @@
     }
   },
   "dependencies": {}
-}
+}
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
-Original file line number
+Diff line change
@@ Expand Up / @@ -162,4 +162,4 @@ @@
         }
       },
       "dependencies": {}
-    }
+    }