equal
deleted
inserted
replaced
155 val res1 = |
155 val res1 = |
156 theories |> |
156 theories |> |
157 (List.app (build_theories symbols last_timing Path.current) |
157 (List.app (build_theories symbols last_timing Path.current) |
158 |> session_timing name verbose |
158 |> session_timing name verbose |
159 |> Unsynchronized.setmp Output.protocol_message_fn protocol_message |
159 |> Unsynchronized.setmp Output.protocol_message_fn protocol_message |
160 |> Multithreading.max_threads_setmp (Options.default_int "threads") |
|
161 |> Exn.capture); |
160 |> Exn.capture); |
162 val res2 = Exn.capture Session.finish (); |
161 val res2 = Exn.capture Session.finish (); |
163 val _ = Par_Exn.release_all [res1, res2]; |
162 val _ = Par_Exn.release_all [res1, res2]; |
164 |
163 |
165 val _ = Options.reset_default (); |
164 val _ = Options.reset_default (); |