diff options
Diffstat (limited to 'src/comp/driver/session.rs')
| -rw-r--r-- | src/comp/driver/session.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/comp/driver/session.rs b/src/comp/driver/session.rs index 7ad83dc1..f6ad590f 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); + } } |