diff options
Diffstat (limited to 'src/boot/me/semant.ml')
| -rw-r--r-- | src/boot/me/semant.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 8d2ed8ac..c67bb822 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -1883,8 +1883,8 @@ and slot_referent_type (abi:Abi.abi) (sl:Ast.slot) : Il.referent_ty = let rty = referent_type abi (slot_ty sl) in match sl.Ast.slot_mode with - | Ast.MODE_local _ -> rty - | Ast.MODE_alias _ -> sp rty + | Ast.MODE_local -> rty + | Ast.MODE_alias -> sp rty ;; let task_rty (abi:Abi.abi) : Il.referent_ty = |