path: root/test-suite/output/Emacs_and_diffs.v

(* coq-prog-args: ("-emacs") *)
Set Diffs "on".
(* verify this does not produce an error message *)