diff options
Diffstat (limited to 'src/boot/fe/parser.ml')
| -rw-r--r-- | src/boot/fe/parser.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/boot/fe/parser.ml b/src/boot/fe/parser.ml index 0c7a2f6f..883ee01d 100644 --- a/src/boot/fe/parser.ml +++ b/src/boot/fe/parser.ml @@ -164,6 +164,7 @@ let clone_atom (ps:pstate) (atom:Ast.atom) : Ast.atom = match atom with Ast.ATOM_literal _ -> atom | Ast.ATOM_lval lv -> Ast.ATOM_lval (clone_lval ps lv) + | Ast.ATOM_pexp _ -> bug () "Parser.clone_atom on ATOM_pexp" ;; let ctxt (n:string) (f:pstate -> 'a) (ps:pstate) : 'a = |