From e17833f9decde6adc0a954c5c6185e07b04df726 Mon Sep 17 00:00:00 2001 From: zoep Date: Sun, 15 Dec 2024 20:26:04 +0200 Subject: [PATCH] Remove imports --- src/Test/Main.hs | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/Test/Main.hs b/src/Test/Main.hs index cb17f269..a7309648 100644 --- a/src/Test/Main.hs +++ b/src/Test/Main.hs @@ -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