# HG changeset patch
# User wenzelm
# Date 1554994304 -7200
# Node ID b256f67e9d272a03f1fbd4247ef8c4dab93221e4
# Parent  a0b21b4b7a4a0c1505f26472150f48cc71a606b4
tuned signature according to ML version;

diff -r a0b21b4b7a4a -r b256f67e9d27 src/Pure/Isar/keyword.scala
--- a/src/Pure/Isar/keyword.scala	Thu Apr 11 16:43:02 2019 +0200
+++ b/src/Pure/Isar/keyword.scala	Thu Apr 11 16:51:44 2019 +0200
@@ -50,7 +50,7 @@
 
   /* command categories */
 
-  val vacous = Set(DIAG, DOCUMENT_HEADING, DOCUMENT_BODY, DOCUMENT_RAW)
+  val vacuous = Set(DIAG, DOCUMENT_HEADING, DOCUMENT_BODY, DOCUMENT_RAW)
 
   val diag = Set(DIAG)