From f817912e07fc9883601bdcaff2cb7f7ac1f45d30 Mon Sep 17 00:00:00 2001
From: Peli de Halleux <pelikhan@users.noreply.github.com>
Date: Wed, 31 Jan 2018 15:38:51 -0800
Subject: [PATCH] bump pxt

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 5eb3b826..d46d3a08 100644
--- a/package.json
+++ b/package.json
@@ -45,7 +45,7 @@
   },
   "dependencies": {
     "pxt-common-packages": "0.17.13",
-    "pxt-core": "3.1.2"
+    "pxt-core": "3.1.3"
   },
   "scripts": {
     "test": "node node_modules/pxt-core/built/pxt.js travis"