--- a/src/HOL/Tools/old_primrec.ML Mon Nov 30 11:42:48 2009 +0100
+++ b/src/HOL/Tools/old_primrec.ML Mon Nov 30 11:42:49 2009 +0100
@@ -21,7 +21,7 @@
structure OldPrimrec : OLD_PRIMREC =
struct
-open DatatypeAux;
+open Datatype_Aux;
exception RecError of string;