Add smtchecker.js to package.json

Leonardo Alt · Leonardo Alt · commit b8f398370905 · 2018-12-07T14:54:03.000+01:00
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",
