From 1e34c34ec2a379b50389e54556fa10147ca5cf3c Mon Sep 17 00:00:00 2001
From: Paul Steckler
Date: Mon, 13 Nov 2017 12:23:54 -0500
Subject: Change OCAMLRUNPARAM warning to mention OCaml 4.06

---
 dev/doc/debugging.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'dev/doc/debugging.md')

diff --git a/dev/doc/debugging.md b/dev/doc/debugging.md
index 7e9373b294..7d3d811cc3 100644
--- a/dev/doc/debugging.md
+++ b/dev/doc/debugging.md
@@ -54,9 +54,10 @@ Debugging from Caml debugger
      of each of error* functions or anomaly* functions in lib/util.ml
    - If "source db" fails, do a "make printers" and try again (it should build
      top_printers.cmo and the core cma files).
-   - If you have the OCAMLRUNPARAM environment variable set, Coq may hang on
-     startup when run from the debugger. If this happens, unset the variable,
-     re-start Emacs, and run the debugger again.
+   - If you build Coq with an OCaml version earlier than 4.06, and have the 
+     OCAMLRUNPARAM environment variable set, Coq may hang on startup when run 
+     from the debugger. If this happens, unset the variable, re-start Emacs, and 
+     run the debugger again.
 
 Global gprof-based profiling
 ============================
-- 
cgit v1.2.3