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