From fc7f18e8596a8b4e690ff726edb02a7cf319edbd Mon Sep 17 00:00:00 2001
From: gmelquio
Date: Wed, 4 Nov 2009 10:14:34 +0000
Subject: Removed 'Toplevel' language from extraction documentation, since it
 is not currently supported.

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

(limited to 'ide')

diff --git a/ide/highlight.mll b/ide/highlight.mll
index 39da08906f..3acdd4f086 100644
--- a/ide/highlight.mll
+++ b/ide/highlight.mll
@@ -98,7 +98,7 @@ let multiword_command =
 | "Implicit" space+ "Arguments"
 | "Implicit" space+ ("Type"|"Types")
 | "Combined" space+ "Scheme"
-| "Extraction" space+ (("Language" space+ ("Ocaml"|"Haskell"|"Scheme"|"Toplevel"))|
+| "Extraction" space+ (("Language" space+ ("Ocaml"|"Haskell"|"Scheme"))|
     ("Library"|"Inline"|"NoInline"|"Blacklist"))
 | "Recursive" space+ "Extraction" (space+ "Library")?
 | ("Print"|"Reset") space+ "Extraction" space+ ("Inline"|"Blacklist")
-- 
cgit v1.2.3