--- a/src/HOL/Library/refute.ML Thu Nov 21 21:33:34 2013 +0100
+++ b/src/HOL/Library/refute.ML Thu Nov 21 21:33:34 2013 +0100
@@ -392,7 +392,7 @@
(* TRANSLATION HOL -> PROPOSITIONAL LOGIC, BOOLEAN ASSIGNMENT -> MODEL *)
(* ------------------------------------------------------------------------- *)
-val typ_of_dtyp = ATP_Util.typ_of_dtyp
+val typ_of_dtyp = Nitpick_Util.typ_of_dtyp
(* ------------------------------------------------------------------------- *)
(* close_form: universal closure over schematic variables in 't' *)