# HG changeset patch
# User wenzelm
# Date 1232474959 -3600
# Node ID bb0f395db245581e0e24c8bfd6122e63fbe31347
# Parent  e3a99d95739290e4b3681eeea3ccecac411b4c81
tuned;

diff -r e3a99d957392 -r bb0f395db245 src/Pure/Tools/isabelle_process.scala
--- a/src/Pure/Tools/isabelle_process.scala	Tue Jan 20 18:08:31 2009 +0100
+++ b/src/Pure/Tools/isabelle_process.scala	Tue Jan 20 19:09:19 2009 +0100
@@ -327,7 +327,6 @@
               c = reader.read
               if (Kind.code.isDefinedAt(c)) kind = Kind.code(c)
               else kind = null
-              props = Nil
             }
             //}}}
           }
@@ -354,8 +353,9 @@
               else if (line.endsWith("\u0002.")) {
                 result.append(line.substring(0, len - 2))
                 put_result(kind, props.reverse, result.toString)
+                kind = null
+                props = Nil
                 result.length = 0
-                kind = null
               }
               // text line
               else {