Remove left-over debug trace

IntersectMBO · Mar 23, 2020 · e44427b · e44427b
1 parent adbdf42
commit e44427b
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/byron/semantics/executable-spec/src/Control/State/Transition/Trace/Generator/QuickCheck.hs b/byron/semantics/executable-spec/src/Control/State/Transition/Trace/Generator/QuickCheck.hs
@@ -46,8 +46,6 @@ import qualified Control.State.Transition.Extended as STS
 import           Control.State.Transition.Trace (Trace)
 import qualified Control.State.Transition.Trace as Trace
 
-import qualified Debug.Trace as D
-
 -- | State transition systems for which traces can be generated, given a trace
 -- generation environment.
 --
@@ -102,7 +100,7 @@ traceFrom traceEnv maxTraceLength traceGenEnv env st0 = do
       sig <- sigGen @sts @traceGenEnv traceGenEnv env sti
       case interpretSTS @sts @traceGenEnv traceEnv (STS.applySTS @sts (TRC(env, sti, sig))) of
         Left _predicateFailures ->
-          loop (d - 1) sti (D.trace ("STS PredicateFailure - " <> show _predicateFailures) stSigs)
+          loop (d - 1) sti stSigs
         Right sti' ->
           loop (d - 1) sti' ((sti', sig): stSigs)