diff --git a/benchmark/src/Time.ml b/benchmark/src/Time.ml
index e3d257ace049bf122108e2d01b2f2d8f49886392..74b26a08285176a137b7260e522c058fca2c32f2 100644
--- a/benchmark/src/Time.ml
+++ b/benchmark/src/Time.ml
@@ -12,18 +12,6 @@
 (******************************************************************************)
 
 open Printf
-open Gc
-
-let stabilize_gc () =
-  Gc.compact ();
-  let rec loop failsafe last_heap_live_words =
-    if failsafe <= 0 then
-      failwith "unable to stabilize the number of live words in the major heap";
-    let stat = Gc.stat () in
-    if stat.live_words <> last_heap_live_words then
-      loop (failsafe - 1) stat.live_words
-  in
-  loop 10 0
 
 (* Measuring the execution time. *)
 
@@ -31,7 +19,7 @@ exception CannotRun
 
 let measured_run factor repetitions f =
   try
-    stabilize_gc();
+    Gc.compact();
     let t1 = Sys.time() in
     for _ = 0 to repetitions-1 do
       f()