diff --git a/src/servo/widget/base.rs b/src/servo/platform/base.rs similarity index 100% rename from src/servo/widget/base.rs rename to src/servo/platform/base.rs diff --git a/src/servo/servo.rc b/src/servo/servo.rc index b79f2c16139..27e0e0c2edf 100755 --- a/src/servo/servo.rc +++ b/src/servo/servo.rc @@ -37,7 +37,7 @@ mod parser { mod html; } -mod widget { +mod platform { mod base; }