diff options
| author | Laurenz <laurmaedje@gmail.com> | 2022-09-21 17:50:58 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2022-09-21 20:25:57 +0200 |
| commit | ddd3b6a82b8c0353c942bfba8b89ca5476eedc58 (patch) | |
| tree | a64c350f0f1f82152ff18cfb02fbfdbf39292672 /src/util/mod.rs | |
| parent | 3760748fddd3b793c79c370398a9d4a3fc5afc04 (diff) | |
Tracked memoization
Diffstat (limited to 'src/util/mod.rs')
| -rw-r--r-- | src/util/mod.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/util/mod.rs b/src/util/mod.rs index 4a48b1d3..d549fc5f 100644 --- a/src/util/mod.rs +++ b/src/util/mod.rs @@ -3,11 +3,9 @@ #[macro_use] mod eco; mod buffer; -mod hash; pub use buffer::Buffer; pub use eco::EcoString; -pub use hash::Prehashed; use std::any::TypeId; use std::fmt::{self, Debug, Formatter}; |