aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/semant.ml
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-07-08 08:25:12 -0700
committerGraydon Hoare <[email protected]>2010-07-08 08:25:12 -0700
commit48488b0dcf06bd729f0920e7744efd3b06017c58 (patch)
tree5bfd1c7f9ed7a1fe31ac831b6d16a4d757fcc595 /src/boot/me/semant.ml
parentAdd mbrubeck. (diff)
downloadrust-48488b0dcf06bd729f0920e7744efd3b06017c58.tar.xz
rust-48488b0dcf06bd729f0920e7744efd3b06017c58.zip
Build fix from jmuizelaar (on ocamlc versions that notice this bug; drat, not all do)
Diffstat (limited to 'src/boot/me/semant.ml')
-rw-r--r--src/boot/me/semant.ml4
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 =