GuillaumeGomez
diff --git a/‎src/librustc/lib.rs
Lines changed: 0 additions & 1 deletion b/‎src/librustc/lib.rs
Lines changed: 0 additions & 1 deletion
diff --git a/‎src/librustc/util/num.rs
Lines changed: 0 additions & 98 deletions b/‎src/librustc/util/num.rs
Lines changed: 0 additions & 98 deletions
@@ -109,7 +109,6 @@ pub mod util {
     pub mod common;
     pub mod ppaux;
     pub mod nodemap;
-    pub mod num;
     pub mod fs;
 }
Original file line number	Diff line number	Diff line change
`@@ -109,7 +109,6 @@ pub mod util {`
`109`	`109`	`pub mod common;`
`110`	`110`	`pub mod ppaux;`
`111`	`111`	`pub mod nodemap;`
`112`		`- pub mod num;`
`113`	`112`	`pub mod fs;`
`114`	`113`	`}`
`115`	`114`