src/HOL/Tools/ATP_Manager/atp_wrapper.ML
changeset 32740 9dd0a2f83429
parent 32593 3711565687a6
child 32864 a226f29d4bdc
     1.1 --- a/src/HOL/Tools/ATP_Manager/atp_wrapper.ML	Tue Sep 29 14:59:24 2009 +0200
     1.2 +++ b/src/HOL/Tools/ATP_Manager/atp_wrapper.ML	Tue Sep 29 16:24:36 2009 +0200
     1.3 @@ -6,8 +6,8 @@
     1.4  
     1.5  signature ATP_WRAPPER =
     1.6  sig
     1.7 -  val destdir: string ref
     1.8 -  val problem_name: string ref
     1.9 +  val destdir: string Unsynchronized.ref
    1.10 +  val problem_name: string Unsynchronized.ref
    1.11    val tptp_prover_opts_full: int -> bool -> bool -> Path.T * string -> AtpManager.prover
    1.12    val tptp_prover_opts: int -> bool -> Path.T * string -> AtpManager.prover
    1.13    val tptp_prover: Path.T * string -> AtpManager.prover
    1.14 @@ -35,8 +35,8 @@
    1.15  
    1.16  (* global hooks for writing problemfiles *)
    1.17  
    1.18 -val destdir = ref "";   (*Empty means write files to /tmp*)
    1.19 -val problem_name = ref "prob";
    1.20 +val destdir = Unsynchronized.ref "";   (*Empty means write files to /tmp*)
    1.21 +val problem_name = Unsynchronized.ref "prob";
    1.22  
    1.23  
    1.24  (* basic template *)