diff --git a/frenetic/katnetic.ml b/frenetic/katnetic.ml index 4b6273e1b..479f0b2c4 100644 --- a/frenetic/katnetic.ml +++ b/frenetic/katnetic.ml @@ -19,9 +19,11 @@ module Run = struct open LocalCompiler let with_channel f chan = + let open Core.Std in + let open Async.Std in let exp = Parser.program Lexer.token (Lexing.from_channel chan) in - let _ = Async_Controller.start_static f 6633 exp in - Core.Std.never_returns (Async.Std.Scheduler.go ()) + let main () = ignore (Async_Controller.start_static f 6633 exp) in + never_returns (Scheduler.go_main ~max_num_open_file_descrs:4096 ~main ()) let with_file f filename = with_channel f (open_in filename)