From ed18f926e4695acc730218925ca156abe56ba5fc Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Tue, 13 Feb 2018 18:26:00 +0100 Subject: [toplevel] Make toplevel state into a record. We organize the toplevel execution as a record and pass it around. This will be used by future PRs as to for example decouple goal printing from the classifier. --- dev/base_include | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev/base_include') diff --git a/dev/base_include b/dev/base_include index 472c0c605..8b8afbd44 100644 --- a/dev/base_include +++ b/dev/base_include @@ -230,7 +230,7 @@ let _ = Flags.in_toplevel := true let _ = Constrextern.set_extern_reference (fun ?loc _ r -> Libnames.Qualid (loc,Nametab.shortest_qualid_of_global Id.Set.empty r));; -let go () = Coqloop.loop Option.(get !Coqtop.drop_last_doc) +let go () = Coqloop.loop ~time:false ~state:Option.(get !Coqtop.drop_last_doc) let _ = print_string -- cgit v1.2.3