diff options
Diffstat (limited to 'src/boot/fe/pexp.ml')
| -rw-r--r-- | src/boot/fe/pexp.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/boot/fe/pexp.ml b/src/boot/fe/pexp.ml index 1869a7d3..14065466 100644 --- a/src/boot/fe/pexp.ml +++ b/src/boot/fe/pexp.ml @@ -360,9 +360,6 @@ and flag (ps:pstate) (tok:token) : bool = then (bump ps; true) else false -and parse_mutability (ps:pstate) : bool = - flag ps MUTABLE - and parse_slot (aliases_ok:bool) (ps:pstate) : Ast.slot = let mode = match (peek ps, aliases_ok) with |