diff --git a/src/servo/net/uri.rs b/src/servo/net/uri.rs deleted file mode 100644 index 5503d21d4e9..00000000000 --- a/src/servo/net/uri.rs +++ /dev/null @@ -1,13 +0,0 @@ -export uri, build_uri; - -type uri = { - spec: ~str, - scheme: ~str, - host: option<~str>, - port: option, - path: ~str -}; - -fn build_uri(_spec: ~str) -> uri { - fail -} diff --git a/src/servo/servo.rc b/src/servo/servo.rc index ecf51aa254f..5163fb18acf 100755 --- a/src/servo/servo.rc +++ b/src/servo/servo.rc @@ -107,10 +107,6 @@ mod util { mod content { } -mod net { - mod uri; -} - mod opts; mod engine;