--- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML Tue Aug 31 08:00:50 2010 +0200
+++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML Tue Aug 31 08:00:51 2010 +0200
@@ -13,7 +13,7 @@
limited_predicates : (string * int) list,
replacing : ((string * string) * string) list,
prolog_system : prolog_system}
- val options : code_options ref
+ val options : code_options Unsynchronized.ref
datatype arith_op = Plus | Minus
datatype prol_term = Var of string | Cons of string | AppF of string * prol_term list