// option. This file may not be copied, modified, or distributed
// except according to those terms.
-#[link(name = "crateresolve1",
- vers = "0.1")];
+// compile-flags:-C extra-filename=-1
+#![crate_name = "crateresolve1"]
+#![crate_type = "lib"]
-#[crate_type = "lib"];
-#[legacy_exports];
-
-fn f() -> int { 10 }
+pub fn f() -> int { 10 }