# HG changeset patch
# User wenzelm
# Date 1334417168 -7200
# Node ID ba7fe841c8855f75e1c455890cca5ca194aff22f
# Parent  402b753d83834344b93f250bad95897af463e309
keyword ";" is declared via prover (as "minor", not "diag");

diff -r 402b753d8383 -r ba7fe841c885 src/Pure/Isar/outer_syntax.scala
--- a/src/Pure/Isar/outer_syntax.scala	Sat Apr 14 17:15:57 2012 +0200
+++ b/src/Pure/Isar/outer_syntax.scala	Sat Apr 14 17:26:08 2012 +0200
@@ -41,7 +41,7 @@
 }
 
 final class Outer_Syntax private(
-  keywords: Map[String, String] = Map((";" -> Keyword.DIAG)),
+  keywords: Map[String, String] = Map.empty,
   lexicon: Scan.Lexicon = Scan.Lexicon.empty,
   val completion: Completion = Completion.empty)
 {