src/Pure/System/isabelle_process.ML
changeset 31797 203d5e61e3bc
parent 31384 ce169bd37fc0
child 32738 15bb09ca0378
--- a/src/Pure/System/isabelle_process.ML	Thu Jun 25 13:24:45 2009 +0200
+++ b/src/Pure/System/isabelle_process.ML	Thu Jun 25 13:25:35 2009 +0200
@@ -27,7 +27,7 @@
   val init: string -> unit
 end;
 
-structure IsabelleProcess: ISABELLE_PROCESS =
+structure Isabelle_Process: ISABELLE_PROCESS =
 struct
 
 (* print modes *)