Skip to content

Commit

Permalink
Remove imports
Browse files Browse the repository at this point in the history
  • Loading branch information
zoep committed Dec 15, 2024
1 parent aa16347 commit e17833f
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions src/Test/Main.hs
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,6 @@ import Data.Text.Lazy as T (unpack)

import Decompile

import Debug.Trace

-- Transformer stack to keep track of whether we are to generate expressions
-- with exponentiation or not (for compatibility with SMT).
type ExpoGen a = GenT (Reader Bool) a
Expand Down

0 comments on commit e17833f

Please sign in to comment.