Skip to content

Commit

Permalink
Add back import
Browse files Browse the repository at this point in the history
  • Loading branch information
zoep committed Dec 15, 2024
1 parent 17252f9 commit fedbe1c
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/Test/Main.hs
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,8 @@ 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 fedbe1c

Please sign in to comment.