Merge pull request #314 from ethereum/smtchecker_package

axic · web-flow · commit c7f904b41e80 · 2018-12-07T14:25:14.000Z
Add smtchecker.js to package.json
diff --git a/package.json b/package.json
@@ -27,6 +27,7 @@
     "abi.js",
     "index.js",
     "linker.js",
+    "smtchecker.js",
     "solcjs",
     "soljson.js",
     "translate.js",
