diff options
Diffstat (limited to 'debugger/parser.mly')
| -rw-r--r-- | debugger/parser.mly | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debugger/parser.mly b/debugger/parser.mly index c94182f6b..db365a69e 100644 --- a/debugger/parser.mly +++ b/debugger/parser.mly @@ -182,6 +182,7 @@ longident_eol : opt_longident : UIDENT { Some (Lident $1) } + | LIDENT { Some (Lident $1) } | module_path DOT UIDENT { Some (Ldot($1, $3)) } | { None }; |