diff options
Diffstat (limited to 'src/boot/me/effect.ml')
| -rw-r--r-- | src/boot/me/effect.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/effect.ml b/src/boot/me/effect.ml index 795f1990..3ec492c8 100644 --- a/src/boot/me/effect.ml +++ b/src/boot/me/effect.ml @@ -320,7 +320,7 @@ let process_crate in let root_scope = [ SCOPE_crate crate ] in let auth_effect name eff = - match lookup_by_name cx root_scope name with + match lookup_by_name cx [] root_scope name with None -> () | Some (_, id) -> if referent_is_item cx id |