diff options
Diffstat (limited to 'src/boot/fe/pexp.ml')
| -rw-r--r-- | src/boot/fe/pexp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/fe/pexp.ml b/src/boot/fe/pexp.ml index 1532a47a..9b870639 100644 --- a/src/boot/fe/pexp.ml +++ b/src/boot/fe/pexp.ml @@ -121,7 +121,7 @@ and parse_carg_base (ps:pstate) : Ast.carg_base = and parse_carg (ps:pstate) : Ast.carg = match peek ps with - IDENT _ -> + IDENT _ | STAR -> begin let base = Ast.CARG_base (parse_carg_base ps) in let path = |