From a086c1d72110a13a0b795f4f5891d8d604a78e6d Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Tue, 7 Feb 2023 13:18:18 +0100
Subject: [PATCH] Repair typo

---
 schemas/sturdy.prs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/schemas/sturdy.prs b/schemas/sturdy.prs
index 0a8da44..36c2295 100644
--- a/schemas/sturdy.prs
+++ b/schemas/sturdy.prs
@@ -14,7 +14,7 @@ SturdyRef = <ref @oid any @caveatChain [Caveat ...] @sig bytes>.
 
 ; embodies 1st-party caveats over assertion structure, but nothing else
 ; can add 3rd-party caveats and richer predicates later
-Caveat = Rewrite / Alts / Reject /@unknown any .
+Caveat = Rewrite / Alts / Reject / @unknown any .
 Rewrite = <rewrite @pattern Pattern @template Template> .
 Reject = <reject @pattern Pattern> .
 Alts = <or @alternatives [Rewrite ...]>.