Merge pull request #316 from GaloisInc/vr/remove-unnecessary-tracing

remove unnecessary tracing
GaloisInc · Oct 14, 2024 · ccd5dbf · ccd5dbf
2 parents 0d39383 + e13571b
commit ccd5dbf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Reopt/CFG/LLVM.hs b/src/Reopt/CFG/LLVM.hs
@@ -2263,7 +2263,7 @@ getInferredTypeForAssignId ::
   Proxy arch ->
   FnAssignId ->
   Eff es (Maybe FTy)
-getInferredTypeForAssignId _ aId = trace ("Getting inferred type for aId " <> show aId) $ do
+getInferredTypeForAssignId _ aId = do
   fn <- R.ask
   constraints <- R.ask @(ModuleConstraints arch)
   let fnTypes =