diff --git a/src/lean_dojo/data_extraction/trace.py b/src/lean_dojo/data_extraction/trace.py
index 869ed0b5..34e45d56 100644
--- a/src/lean_dojo/data_extraction/trace.py
+++ b/src/lean_dojo/data_extraction/trace.py
@@ -158,7 +158,7 @@ def _trace(repo: LeanGitRepo, build_deps: bool) -> None:
             cmd = f"lake env lean --threads {NUM_PROCS} --run ExtractData.lean"
             if not build_deps:
                 cmd += " noDeps"
-            execute(cmd, capture_output=True)
+            execute(cmd)
 
         check_files(packages_path, not build_deps)
         os.remove(LEAN4_DATA_EXTRACTOR_PATH.name)