src/HOL/Tools/ATP/watcher.ML

 		   let val _ = File.write (File.tmp_path (Path.basic "child_incoming")) 
 			      ("subgoals forked to checkChildren:"^
 			      prems_string^prover^thmstring^goalstring^childCmd) 
 		       val childDone = (case prover of
 			   "vampire" => VampComm.checkVampProofFound(childInput, toParentStr, parentID,thmstring,goalstring, childCmd, thm, sg_num,clause_arr, num_of_clauses)  
-			    | "E" => EComm.checkEProofFound(childInput, toParentStr, parentID,thmstring,goalstring, childCmd, thm, sg_num,clause_arr, num_of_clauses)             
+			    | "E" => VampComm.checkEProofFound(childInput, toParentStr, parentID,thmstring,goalstring, childCmd, thm, sg_num,clause_arr, num_of_clauses)             
 			  |"spass" => SpassComm.checkSpassProofFound(childInput, toParentStr, parentID,thmstring,goalstring, childCmd, thm, sg_num,clause_arr, num_of_clauses)  )
 		    in
 		     if childDone      (**********************************************)
 		     then (* child has found a proof and transferred it *)
 			(* Remove this child and go on to check others*)