diff --git a/tools/ci/inria/main b/tools/ci/inria/main
index a4e5abbdf..f80533208 100755
--- a/tools/ci/inria/main
+++ b/tools/ci/inria/main
@@ -96,12 +96,6 @@ case "${OCAML_ARCH}" in
   bsd|macos|linux) renice 10 $$ ;;
 esac
 
-# work around a bug (in ocamltest maybe? -- to be investigated) that leaves
-# some processes running in an infinite loop after the tests are done
-case "${OCAML_ARCH}" in
-  bsd) ulimit -t 1800 ;;
-esac
-
 # be verbose and stop on error
 set -ex