diff options
Diffstat (limited to 'src/boot/me/walk.ml')
| -rw-r--r-- | src/boot/me/walk.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/boot/me/walk.ml b/src/boot/me/walk.ml index 7b89cbd8..552debdf 100644 --- a/src/boot/me/walk.ml +++ b/src/boot/me/walk.ml @@ -557,6 +557,7 @@ and walk_atom match a with Ast.ATOM_literal ls -> walk_lit v ls.node | Ast.ATOM_lval lv -> walk_lval v lv + | Ast.ATOM_pexp _ -> bug () "Walk.walk_atom on ATOM_pexp" and walk_opt_atom |