master: hygiene

bruderj15 · Jun 12, 2024 · e21cd0e · e21cd0e
1 parent fc8be20
commit e21cd0e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/Language/Hasmtlib/Internal/Expr.hs b/src/Language/Hasmtlib/Internal/Expr.hs
@@ -78,8 +78,6 @@ instance KnownNat n => KnownSMTRepr (BvType n) where singRepr = BvRepr (Proxy @n
 data SomeKnownSMTRepr f where
   SomeKnownSMTRepr :: forall (t :: SMTType) f. KnownSMTRepr t => f t -> SomeKnownSMTRepr f
 
--- newtype Some k c f = Some {_some :: forall (t :: k). c t => f t}
-
 -- | SMT Expression
 data Expr (t :: SMTType) where
   -- Terms