src/Pure/ML-Systems/polyml.ML

 use "ML-Systems/cpu-timer-basis.ML";
 
 
 (* bounded time execution *)
 
-(* FIXME proper implementation for Cygwin available? *)
+(* FIXME proper implementation available? *)
 fun interrupt_timeout time f x =
   f x;
 
+(*
 unless_cygwin
   use "ML-Systems/polyml-interrupt-timeout.ML";
+*)
 
 
 (* prompts *)
 
 fun ml_prompts p1 p2 = (PolyML.Compiler.prompt1 := p1; PolyML.Compiler.prompt2 := p2);