From f5863b8f5a6c8791f089a2ddb43978a298394c95 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 7 Jan 2000 22:25:14 +0000
Subject: Déplacement print_emacs dans Options

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@266 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/coqtop.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 1c41fe1033..8f64b1fac6 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -113,7 +113,7 @@ let parse_args () =
 
     | "-debug" :: rem -> set_debug (); parse rem
 
-    | "-emacs" :: rem -> Printer.print_emacs := true; parse rem
+    | "-emacs" :: rem -> Options.print_emacs := true; parse rem
 	  
     | "-where" :: _ -> print_endline Coq_config.coqlib; exit 0
 
-- 
cgit v1.2.3