src/HOL/Tools/primrec.ML

 end;
 
 structure Primrec : PRIMREC =
 struct
 
-open DatatypeAux;
+open Datatype_Aux;
 
 exception PrimrecError of string * term option;
 
 fun primrec_error msg = raise PrimrecError (msg, NONE);
 fun primrec_error_eqn msg eqn = raise PrimrecError (msg, SOME eqn);