src/HOL/Import/import_syntax.ML

--- a/src/HOL/Import/import_syntax.ML	Wed Jun 25 14:54:45 2008 +0200
+++ b/src/HOL/Import/import_syntax.ML	Wed Jun 25 17:38:32 2008 +0200
@@ -223,7 +223,7 @@
 val append_dump = (P.verbatim || P.string) >> add_dump
 
 fun setup () =
-  (OuterSyntax.keywords[">"];
+  (OuterKeyword.keyword ">";
    OuterSyntax.command "import_segment"
 		       "Set import segment name"
 		       K.thy_decl (import_segment >> Toplevel.theory);