From 53df6ba4f17df3e4748e8af05dd7931d3dfe1973 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 11 Sep 2019 15:00:27 +0100
Subject: [PATCH] Unneeded vestigial import

---
 syndicate/mini/protocol.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/syndicate/mini/protocol.py b/syndicate/mini/protocol.py
index 200623e..217cbf1 100644
--- a/syndicate/mini/protocol.py
+++ b/syndicate/mini/protocol.py
@@ -1,5 +1,5 @@
 import preserves
-from preserves import Record, Symbol
+from preserves import Record
 
 ## Enrolment
 Connect = Record.makeConstructor('Connect', 'scope')