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