Fix errors & missing pre-conditions in contract code

Related to #1
appendonlylog · Nov 23, 2017 · f9dc185 · f9dc185
1 parent 8e72025
commit f9dc185
Show file tree

Hide file tree

Showing 3 changed files with 2,333 additions and 1,179 deletions.
diff --git a/build/contracts/Migrations.json b/build/contracts/Migrations.json
@@ -220,7 +220,7 @@
                                   "overloadedDeclarations": [
                                     null
                                   ],
-                                  "referencedDeclaration": 492,
+                                  "referencedDeclaration": 571,
                                   "type": "msg",
                                   "value": "msg"
                                 },
@@ -357,7 +357,7 @@
                                   "overloadedDeclarations": [
                                     null
                                   ],
-                                  "referencedDeclaration": 492,
+                                  "referencedDeclaration": 571,
                                   "type": "msg",
                                   "value": "msg"
                                 },
@@ -817,5 +817,5 @@
   },
   "networks": {},
   "schemaVersion": "1.0.1",
-  "updatedAt": "2017-11-12T16:36:28.810Z"
+  "updatedAt": "2017-11-23T00:02:14.944Z"
 }