remove id arena

2019-01-04 16:15:50 +03:00
parent 291d578938
commit 3fe6f422f9
8 changed files with 26 additions and 94 deletions
--- a/crates/ra_hir/src/lib.rs
+++ b/crates/ra_hir/src/lib.rs
@@ -19,7 +19,6 @@ pub mod db;
 mod mock;
 mod query_definitions;
 mod path;
-mod arena;
 pub mod source_binder;

 mod ids;