GrafiteAst.WMatch (loc,t)
| [ IDENT "whelp"; IDENT "instance" ] ; t = term ->
GrafiteAst.WInstance (loc,t)
- | [ IDENT "whelp"; IDENT "locate" ] ; id = IDENT ->
+ | [ IDENT "whelp"; IDENT "locate" ] ; id = QSTRING ->
GrafiteAst.WLocate (loc,id)
| [ IDENT "whelp"; IDENT "elim" ] ; t = term ->
GrafiteAst.WElim (loc, t)