Fixing modules names.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12794 85f007b7-540e-0410-9357-904b9bb8a0f7

2 files changed, 8 insertions, 8 deletions

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 99085d0673..b89a65dc3b 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -401,17 +401,17 @@ let apply_tag (buffer:GText.buffer) orig off_conv from upto sort =
     let stop = orig#forward_chars (off_conv upto) in
     buffer#apply_tag ~start ~stop tag
   in match sort with
-    | CoqLex.Comment ->
+    | Coq_lex.Comment ->
         conv_and_apply from upto Tags.Script.comment
-    | CoqLex.Keyword ->
+    | Coq_lex.Keyword ->
         conv_and_apply from upto Tags.Script.kwd
-    | CoqLex.Declaration ->
+    | Coq_lex.Declaration ->
         conv_and_apply from upto Tags.Script.decl
-    | CoqLex.ProofDeclaration ->
+    | Coq_lex.ProofDeclaration ->
         conv_and_apply from upto Tags.Script.proof_decl
-    | CoqLex.Qed ->
+    | Coq_lex.Qed ->
         conv_and_apply from upto Tags.Script.qed
-    | CoqLex.String -> ()
+    | Coq_lex.String -> ()
 
 let remove_tags (buffer:GText.buffer) from upto =
   List.iter (buffer#remove_tag ~start:from ~stop:upto)
@@ -426,7 +426,7 @@ let split_slice_lax (buffer:GText.buffer) from upto =
   let rec split_substring str =
     let off_conv = byte_offset_to_char_offset str in
     let slice_len = String.length str in
-    let sentence_len = CoqLex.find_end_offset (apply_tag buffer from off_conv) str in
+    let sentence_len = Coq_lex.find_end_offset (apply_tag buffer from off_conv) str in
 
     let stop = from#forward_chars (pred (off_conv sentence_len)) in
     let start = stop#backward_char in
diff --git a/ide/ide.mllib b/ide/ide.mllib
index a235039b96..63935db380 100644
--- a/ide/ide.mllib
+++ b/ide/ide.mllib
@@ -13,7 +13,7 @@ Config_lexer
 Utf8_convert
 Preferences
 Ideutils
-CoqLex
+Coq_lex
 Gtk_parsing
 Undo
 Coq