From 49c0d1b0758485d5a3b5583c190b45fa398d39ce Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 1 Dec 2021 14:39:41 +0100
Subject: [PATCH] Update to latest protocol definitions

---
 protocols/schemas/auth.prs    | 2 +-
 protocols/schemas/channel.prs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/protocols/schemas/auth.prs b/protocols/schemas/auth.prs
index 13a4d93..bdd583a 100644
--- a/protocols/schemas/auth.prs
+++ b/protocols/schemas/auth.prs
@@ -1,5 +1,5 @@
 version 1 .
-embeddedType EntityRef.Ref .
+embeddedType EntityRef.Cap .
 
 SshAuthenticatedUser = <authenticated @username string @service bytes>.
 
diff --git a/protocols/schemas/channel.prs b/protocols/schemas/channel.prs
index 0b335a5..5071148 100644
--- a/protocols/schemas/channel.prs
+++ b/protocols/schemas/channel.prs
@@ -1,5 +1,5 @@
 version 1 .
-embeddedType EntityRef.Ref .
+embeddedType EntityRef.Cap .
 
 SshChannelTypeAvailable = <channel-type-available @type bytes>.