From 930f7eda00d9e23771a7a0dea7d829bad7f628fa Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Thu, 3 Jun 2021 23:22:46 +0200
Subject: [PATCH] Move box-protocol to a #lang preserves-schema module

---
 box-protocol.prs | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 box-protocol.prs

diff --git a/box-protocol.prs b/box-protocol.prs
deleted file mode 100644
index d200d54..0000000
--- a/box-protocol.prs
+++ /dev/null
@@ -1,9 +0,0 @@
-version 1 .
-embeddedType Actor.Ref .
-
-BoxState = <BoxState @value int>.
-SetBox = <SetBox @value int>.
-
-; BoxCap = BoxState / <Observe =SetBox @observer embedded>.
-; ClientCap = SetBox / <Observe =BoxState @observer embedded>.
-.