src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML

 
     val thy = Proof.theory_of state
     val ctxt = Proof.context_of state
 
     val override_params = override_params |> map (normalize_raw_param ctxt)
-    val _ = Isabelle_System.mkdir (Path.explode (getenv "ISABELLE_TMP"))
   in
     if subcommand = runN then
       let val i = the_default 1 opt_i in
         ignore (run_sledgehammer
           (get_params Normal thy override_params) Normal writeln_result i fact_override state)