diff --git a/src/gc/stm_tests_spec.ml b/src/gc/stm_tests_spec.ml index 68c1ef8b..322afb90 100644 --- a/src/gc/stm_tests_spec.ml +++ b/src/gc/stm_tests_spec.ml @@ -281,7 +281,7 @@ let cleanup sut = sut.lists <- [| |]; sut.bigarrays <- [| |]; Gc.set init_state; - Gc.compact () + Gc.full_major () end let precond _n _s = true