Upgrade proof to 7.0.x.

bigeasy · Mar 2, 2019 · 33e214b · 33e214b
1 parent 149ecbe
commit 33e214b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -35,7 +35,7 @@
     {
                             "delta":                        "3.0.x",
                             "destructible":                 "0.43.x",
-                            "proof":                        "5.0.x"
+                            "proof":                        "7.0.x"
     },
     "main":                 "kibitzer",
     "scripts":