From 628981674364e91ea425d760a9d673425d0cb28f Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Thu, 11 Jul 2013 14:09:15 +0100
Subject: K,P wib

---
 language/l2.ott | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'language')

diff --git a/language/l2.ott b/language/l2.ott
index 18fb213b..e25d7547 100644
--- a/language/l2.ott
+++ b/language/l2.ott
@@ -881,8 +881,8 @@ val_spec :: 'VS_' ::=
 default_typing_spec :: 'DT_' ::=
   {{ com Default kinding or typing assumption }}
   {{ aux _ l }}
-  | default base_kind regexp    :: :: kind
-  | default typschm regexp      :: :: typ
+  | default base_kind id    :: :: kind
+  | default typschm id      :: :: typ
 % The intended semantics of these is that if an id in binding position
 % doesn't have a kind or type annotation, then we look through the
 % default regexps (in order from the beginning) and pick the first
-- 
cgit v1.2.3