--- a/src/HOL/Tools/primrec.ML Mon Nov 30 11:42:48 2009 +0100
+++ b/src/HOL/Tools/primrec.ML Mon Nov 30 11:42:49 2009 +0100
@@ -23,7 +23,7 @@
structure Primrec : PRIMREC =
struct
-open DatatypeAux;
+open Datatype_Aux;
exception PrimrecError of string * term option;