src/HOL/Tools/lin_arith.ML

--- a/src/HOL/Tools/lin_arith.ML	Tue Sep 29 14:26:33 2009 +1000
+++ b/src/HOL/Tools/lin_arith.ML	Tue Sep 29 18:14:08 2009 +0200
@@ -22,8 +22,8 @@
   val global_setup: theory -> theory
   val split_limit: int Config.T
   val neq_limit: int Config.T
-  val warning_count: int ref
-  val trace: bool ref
+  val warning_count: int Unsynchronized.ref
+  val trace: bool Unsynchronized.ref
 end;
 
 structure Lin_Arith: LIN_ARITH =