src/HOL/Tools/ATP/atp_systems.ML

 
 val leo2_config : atp_config =
   {exec = (["LEO2_HOME"], "leo"),
    required_vars = [],
    arguments =
-     fn _ => fn _ => fn sos => fn timeout => fn _ =>
+     fn _ => fn _ => fn _ => fn timeout => fn _ =>
         "--proofoutput 1 --timeout " ^ string_of_int (to_secs 1 timeout),
    proof_delims = tstp_proof_delims,
    known_failures =
      known_szs_status_failures @
      [(TimedOut, "CPU time limit exceeded, terminating"),