Remove FromIrep module, as it is not used and has no tests (rust-lang…

…#619)
celinval · Nov 3, 2021 · 77f21d3 · 77f21d3
1 parent 5011097
commit 77f21d3
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 234 deletions.
diff --git a/compiler/cbmc/src/irep/from_irep.rs b/compiler/cbmc/src/irep/from_irep.rs
diff --git a/compiler/cbmc/src/irep/mod.rs b/compiler/cbmc/src/irep/mod.rs
@@ -14,7 +14,6 @@
 //! TODO: Parser for json symbol tables into the internal irep format
 //! TODO: Investigate memory usage, and consider using sharing to reduce memory usage
 
-mod from_irep;
 mod irep;
 mod irep_id;
 mod symbol;