src/Pure/Isar/isar_document.scala
changeset 31797 203d5e61e3bc
parent 31237 5c1aca930404
child 32448 a89f876731c5
--- a/src/Pure/Isar/isar_document.scala	Thu Jun 25 13:24:45 2009 +0200
+++ b/src/Pure/Isar/isar_document.scala	Thu Jun 25 13:25:35 2009 +0200
@@ -14,7 +14,7 @@
   type Document_ID = String
 }
 
-trait IsarDocument extends IsabelleProcess
+trait IsarDocument extends Isabelle_Process
 {
   import IsarDocument._