1 files changed, 4 insertions, 0 deletions
diff --git a/src/comp/driver/session.rs b/src/comp/driver/session.rs
index 7ad83dc198e..f6ad590f17f 100644
--- a/src/comp/driver/session.rs
+++ b/src/comp/driver/session.rs
@@ -77,6 +77,10 @@ obj session(cfg targ, map.hashmap[int, crate_metadata] crates) {
     fn set_external_crate(int num, &crate_metadata metadata) {
         crates.insert(num, metadata);
     }
+
+    fn has_external_crate(int num) -> bool {
+        ret crates.contains_key(num);
+    }
 }