fix test-suite/success/decl_mode.v
better error message
Undo prints only if coqtop || emacs