From c229958059b940f57238fb1c12868855419759ac Mon Sep 17 00:00:00 2001 From: Jasper Hugunin Date: Sun, 15 Apr 2018 15:29:56 -0700 Subject: Update debugging.md This changed in https://github.com/coq/coq/commit/35961a4ff5a5b8c9b9786cbab0abd279263eb655 --- dev/doc/debugging.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev/doc') diff --git a/dev/doc/debugging.md b/dev/doc/debugging.md index fd3cbd1bc..14a1cc693 100644 --- a/dev/doc/debugging.md +++ b/dev/doc/debugging.md @@ -47,7 +47,7 @@ Debugging with ocamldebug from Emacs 7. some hints: - To debug a failure/error/anomaly, add a breakpoint in - Vernac.vernac_com at the with clause of the "try ... interp com + `Vernac.interp_vernac` (in `toplevel/vernac.ml`) at the with clause of the "try ... interp com with ..." block, then go "back" a few steps to find where the failure/error/anomaly has been raised - Alternatively, for an error or an anomaly, add breakpoints in the middle -- cgit v1.2.3