diff --git a/src/Grisette/Internal/SymPrim/Prim/Internal/Term.hs b/src/Grisette/Internal/SymPrim/Prim/Internal/Term.hs index aedf4aef..a178feec 100644 --- a/src/Grisette/Internal/SymPrim/Prim/Internal/Term.hs +++ b/src/Grisette/Internal/SymPrim/Prim/Internal/Term.hs @@ -254,6 +254,7 @@ import Grisette.Internal.Core.Data.Symbol import Grisette.Internal.SymPrim.FP (FP, FPRoundingMode, ValidFP) import Grisette.Internal.SymPrim.Prim.Internal.Caches ( Digest, + Id, Ident, Interned ( Description, @@ -263,7 +264,6 @@ import Grisette.Internal.SymPrim.Prim.Internal.Caches identify, threadId ), - Id, intern, ) import Grisette.Internal.SymPrim.Prim.Internal.Utils