src/HOL/Tools/res_atp.ML
changeset 17849 d7619ccf22e6
parent 17845 1438291d57f0
child 17888 116a8d1c7a67
     1.1 --- a/src/HOL/Tools/res_atp.ML	Fri Oct 14 14:36:39 2005 +0200
     1.2 +++ b/src/HOL/Tools/res_atp.ML	Fri Oct 14 15:34:56 2005 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4    val prover: string ref
     1.5    val custom_spass: string list ref
     1.6    val destdir: string ref
     1.7 -  val hook_count: int ref
     1.8 +  val helper_path: string -> string -> string
     1.9    val problem_name: string ref
    1.10    val time_limit: int ref
    1.11  end;