diff --git a/src/ocaml/typing/typecore.ml b/src/ocaml/typing/typecore.ml
index 94b6b2808..cfda2f714 100644
--- a/src/ocaml/typing/typecore.ml
+++ b/src/ocaml/typing/typecore.ml
@@ -7079,10 +7079,15 @@ and type_expect_
                        _ } ,
                       _)}]) ->
         check_probe_name name name_loc env;
-        add_delayed_check
+        (* CR-someday: (Merlin-only) This check is commented out because Merlin is
+           spuriously raising it when it shouldn't. This is possibly due to probes
+           interacting poorly with the typer cache. Until this problem is fixed,
+           commenting out this error seems good enough - incorrectly reporting this error
+           is far more costly than failing to report it. *)
+        (* add_delayed_check
           (fun () ->
              if not (Env.has_probe name) then
-               raise(error(name_loc, env, (Probe_name_undefined name))));
+               raise(error(name_loc, env, (Probe_name_undefined name)))); *)
         rue {
           exp_desc = Texp_probe_is_enabled {name};
           exp_loc = loc; exp_extra = [];