diff options
Diffstat (limited to 'src/boot/fe/parser.ml')
| -rw-r--r-- | src/boot/fe/parser.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/fe/parser.ml b/src/boot/fe/parser.ml index 97cf8985..ab7ff56c 100644 --- a/src/boot/fe/parser.ml +++ b/src/boot/fe/parser.ml @@ -180,12 +180,12 @@ let err (str:string) (ps:pstate) = let (slot_nil:Ast.slot) = - { Ast.slot_mode = Ast.MODE_interior; + { Ast.slot_mode = Ast.MODE_local; Ast.slot_ty = Some Ast.TY_nil } ;; let (slot_auto:Ast.slot) = - { Ast.slot_mode = Ast.MODE_interior; + { Ast.slot_mode = Ast.MODE_local; Ast.slot_ty = None } ;; |