From 6b041a242607ec906fbab451e53c15af6339e4ef Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Thu, 18 May 2017 07:31:36 +0200 Subject: [emacs] [toplevel] Make emacs flag local to the toplevel. We remove the emacs-specific printing code from the core of Coq, now `-emacs` is a printing flag controlled by the toplevel. --- test-suite/output/Show.out | 2 -- 1 file changed, 2 deletions(-) (limited to 'test-suite/output') diff --git a/test-suite/output/Show.out b/test-suite/output/Show.out index 8acfed5d0..ca56f032f 100644 --- a/test-suite/output/Show.out +++ b/test-suite/output/Show.out @@ -8,5 +8,3 @@ subgoal 2 (ID 35) is: 1 = S (S m') subgoal 3 (ID 22) is: S (S n') = S m - -(dependent evars: (printing disabled) ) -- cgit v1.2.3