From ddd3b6a82b8c0353c942bfba8b89ca5476eedc58 Mon Sep 17 00:00:00 2001 From: Laurenz Date: Wed, 21 Sep 2022 17:50:58 +0200 Subject: Tracked memoization --- src/util/buffer.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/util/buffer.rs') diff --git a/src/util/buffer.rs b/src/util/buffer.rs index daee86f9..766b2084 100644 --- a/src/util/buffer.rs +++ b/src/util/buffer.rs @@ -2,7 +2,7 @@ use std::fmt::{self, Debug, Formatter}; use std::ops::Deref; use std::sync::Arc; -use super::Prehashed; +use comemo::Prehashed; /// A shared buffer that is cheap to clone and hash. #[derive(Clone, Hash, Eq, PartialEq)] -- cgit v1.2.3