diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/extend.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/extend.ml4 b/parsing/extend.ml4 index aabd069bb..1f6c36753 100644 --- a/parsing/extend.ml4 +++ b/parsing/extend.ml4 @@ -107,7 +107,7 @@ let nterm univ ast = let prod_item univ env ast = match ast with | Str (_, s) -> env, Term (terminal s) - | Node (_, "NT", [nt; Id (locp, p)]) -> + | Node (_, "NT", [nt; Nvar (locp, p)]) -> let (nont, etyp) = nterm univ nt in if isMeta p then ((p, etyp) :: env, NonTerm (nont, etyp, Some p)) |