From 844a49c7a74e770386938d08671f7c78d3237518 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Fri, 2 Nov 2018 22:49:56 +0000
Subject: [PATCH] Remove superfluous require

---
 packages/syntax-playground/src/ticker.js | 2 --
 1 file changed, 2 deletions(-)

diff --git a/packages/syntax-playground/src/ticker.js b/packages/syntax-playground/src/ticker.js
index ff3b8de..71e4d53 100644
--- a/packages/syntax-playground/src/ticker.js
+++ b/packages/syntax-playground/src/ticker.js
@@ -16,8 +16,6 @@
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 //---------------------------------------------------------------------------
 
-import { Dataspace } from "@syndicate-lang/core";
-
 const Timer = activate require("@syndicate-lang/driver-timer");
 const TimeLaterThan = Timer.TimeLaterThan;