equal
deleted
inserted
replaced
80 (List.app use_theories |
80 (List.app use_theories |
81 |> Session.with_timing name verbose |
81 |> Session.with_timing name verbose |
82 |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads")); |
82 |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads")); |
83 |
83 |
84 val _ = Session.finish (); |
84 val _ = Session.finish (); |
85 val _ = if do_output then Secure.commit () else (); |
85 val _ = if do_output then () else exit 0; |
86 in 0 end); |
86 in 0 end); |
87 |
87 |
88 end; |
88 end; |
89 |
89 |
90 end; |
90 end; |