src/HOL/Tools/lin_arith.ML
changeset 32740 9dd0a2f83429
parent 32603 e08fdd615333
child 32863 5e8cef567042
     1.1 --- a/src/HOL/Tools/lin_arith.ML	Tue Sep 29 14:59:24 2009 +0200
     1.2 +++ b/src/HOL/Tools/lin_arith.ML	Tue Sep 29 16:24:36 2009 +0200
     1.3 @@ -22,8 +22,8 @@
     1.4    val global_setup: theory -> theory
     1.5    val split_limit: int Config.T
     1.6    val neq_limit: int Config.T
     1.7 -  val warning_count: int ref
     1.8 -  val trace: bool ref
     1.9 +  val warning_count: int Unsynchronized.ref
    1.10 +  val trace: bool Unsynchronized.ref
    1.11  end;
    1.12  
    1.13  structure Lin_Arith: LIN_ARITH =