diff --git a/src/Reopt/CFG/LLVM.hs b/src/Reopt/CFG/LLVM.hs index 491c6d74..74b757b6 100644 --- 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 =