remove unused Execute function from module PmCleanSystem

Win/IdePlatform.icl

@@ -66,7 +66,6 @@ RunProgram path ps
 		(ps,_)			= Execute` redc updateErrorWindow path ao ps
 	= ps
 where
-	// can remove from PmCleanSystem?!
 	Execute ::	!(WindowFun *env) !Pathname !ApplicationOptions *env -> (*env, !Bool)
 	Execute winfun path {o} ps
 		#	(didit,_) = winLaunchApp (quoted_string path) (o<>NoConsole) 99

Win/PmCleanSystem.dcl

@@ -127,17 +127,6 @@ Link ::							// Links the given file:
 	, !Bool						// success status
 	)
 
-/*
-Execute	::						// Executes the given application
-	!(WindowFun *env)			// error display fun
-	!Pathname					// full pathname of the application
-	!ApplicationOptions			// application options (only need the console flag)
-	*env						// state
-	->
-	( *env						// state
-	, !Bool						// success status
-	)
-*/
 Execute`	::	!String !*env -> (!Bool,!Int,!*env)
 
 

Win/PmCleanSystem.icl

@@ -762,13 +762,6 @@ where
 
 //--- EXECUTE
 
-Execute	::	!(WindowFun *env) !Pathname !ApplicationOptions *env -> (*env, !Bool)
-Execute winfun path {o} ps
-	#	(didit,_) = winLaunchApp (quoted_string path) (o<>NoConsole) 99
-	| didit
-		= (ps,True)
-		= (winfun ["Error: Could not launch the application"] ps,False)
-
 Execute`	::	!String !*env -> (!Bool,!Int,!*env)
 Execute` command ps
 	#	(didit, ec, os4)	= CallProcess command [] "" "" "" "" 99