diff options
Diffstat (limited to 'src/urweb.grm')
| -rw-r--r-- | src/urweb.grm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/urweb.grm b/src/urweb.grm index b49cd793..f344633d 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -1069,7 +1069,7 @@ tagHead: BEGIN_TAG (let val pos = s (BEGIN_TAGleft, BEGIN_TAGright) in (bt, - (EVar ([], bt, Infer), pos)) + (EVar (["Basis"], bt, Infer), pos)) end) | tagHead LBRACE cexp RBRACE (#1 tagHead, (ECApp (#2 tagHead, cexp), s (tagHeadleft, RBRACEright))) |