diff --git a/src/library/profiling.cpp b/src/library/profiling.cpp
index 0ceae478c3..46dcb55af0 100644
--- a/src/library/profiling.cpp
+++ b/src/library/profiling.cpp
@@ -12,7 +12,7 @@ Author: Gabriel Ebner
 #endif
 
 #ifndef LEAN_DEFAULT_PROFILER_THRESHOLD
-#define LEAN_DEFAULT_PROFILER_THRESHOLD 0
+#define LEAN_DEFAULT_PROFILER_THRESHOLD 100
 #endif
 
 namespace lean {