diff options
Diffstat (limited to 'src/boot/me/effect.ml')
| -rw-r--r-- | src/boot/me/effect.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/me/effect.ml b/src/boot/me/effect.ml index 238e3e5b..3d52f23a 100644 --- a/src/boot/me/effect.ml +++ b/src/boot/me/effect.ml @@ -273,8 +273,8 @@ let process_crate let root_scope = [ SCOPE_crate crate ] in let auth_effect name eff = match lookup_by_name cx [] root_scope name with - None -> () - | Some (_, id) -> + RES_failed _ -> () + | RES_ok (_, id) -> if defn_id_is_item cx id then htab_put item_auth id eff else err (Some id) "auth clause in crate refers to non-item" |