src/Provers/classical.ML
changeset 32740 9dd0a2f83429
parent 32261 05e687ddbcee
child 32862 1fc86cec3bdf
     1.1 --- a/src/Provers/classical.ML	Tue Sep 29 14:59:24 2009 +0200
     1.2 +++ b/src/Provers/classical.ML	Tue Sep 29 16:24:36 2009 +0200
     1.3 @@ -74,7 +74,7 @@
     1.4  
     1.5    val fast_tac          : claset -> int -> tactic
     1.6    val slow_tac          : claset -> int -> tactic
     1.7 -  val weight_ASTAR      : int ref
     1.8 +  val weight_ASTAR      : int Unsynchronized.ref
     1.9    val astar_tac         : claset -> int -> tactic
    1.10    val slow_astar_tac    : claset -> int -> tactic
    1.11    val best_tac          : claset -> int -> tactic
    1.12 @@ -746,7 +746,7 @@
    1.13  
    1.14  
    1.15  (***ASTAR with weight weight_ASTAR, by Norbert Voelker*)
    1.16 -val weight_ASTAR = ref 5;
    1.17 +val weight_ASTAR = Unsynchronized.ref 5;
    1.18  
    1.19  fun astar_tac cs =
    1.20    ObjectLogic.atomize_prems_tac THEN'