Downgrade and fix typescript version.

See TypeStrong/ts-loader#565
leanprover · Jun 28, 2017 · f4e8f4d · f4e8f4d
1 parent 46cb9f3
commit f4e8f4d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -26,7 +26,7 @@
     "ts-loader": "^2.2.0",
     "ts-node": "^3.1.0",
     "tslint": "^5.4.3",
-    "typescript": "^2.4.1",
+    "typescript": "2.4.0",
     "webpack": "^2.6.1",
     "webpack-dev-server": "^2.5.0",
     "worker-loader": "^0.8.0"