2 files changed, 2 insertions, 8 deletions
diff --git a/main/Windows/CoclSystemDependent.dcl b/main/Windows/CoclSystemDependent.dcl
index 69b9848..992fa23 100644
--- a/main/Windows/CoclSystemDependent.dcl
+++ b/main/Windows/CoclSystemDependent.dcl
@@ -25,7 +25,4 @@ ensureCleanSystemFilesExists :: !String !*Files -> (!Bool, !*Files)
 
 set_compiler_id :: Int -> Int
 
-:: CompileFun st
-	:== ([{#Char}] st -> (Bool, st))
-
-compiler_loop :: (CompileFun *st) *st -> (!Bool, !*st)
+compiler_loop :: ([{#Char}] *st -> *(Bool, *st)) *st -> (!Bool, !*st)
diff --git a/main/Windows/CoclSystemDependent.icl b/main/Windows/CoclSystemDependent.icl
index 9792c1d..dad5c47 100644
--- a/main/Windows/CoclSystemDependent.icl
+++ b/main/Windows/CoclSystemDependent.icl
@@ -29,14 +29,11 @@ ensureCleanSystemFilesExists path env
 set_compiler_id :: Int -> Int
 set_compiler_id compiler_id = compiler_id
 
-:: CompileFun st
-	:== ([{#Char}] st -> (Bool, st))
-
 import thread_message;
 
 import code from "thread_message.obj";
 
-compiler_loop :: (CompileFun *st) *st -> (!Bool, !*st)
+compiler_loop :: ([{#Char}] *st -> *(Bool, *st)) *st -> (!Bool, !*st)
 compiler_loop compile compile_state
 	| length commandArgs==2 && commandArgs!!0=="-ide"
 		# wm_number=get_message_number;