diff --git a/lib/dune b/lib/dune index 56b5cf4a..945ac78c 100644 --- a/lib/dune +++ b/lib/dune @@ -8,7 +8,7 @@ read.ml write.ml safe.ml - pretty.ml + prettyprint.ml write2.ml common.ml util.ml diff --git a/lib/pretty.ml b/lib/prettyprint.ml similarity index 100% rename from lib/pretty.ml rename to lib/prettyprint.ml diff --git a/lib/yojson.cppo.ml b/lib/yojson.cppo.ml index 3c4df1bc..e038e08a 100644 --- a/lib/yojson.cppo.ml +++ b/lib/yojson.cppo.ml @@ -13,7 +13,7 @@ #include "monomorphic.ml" module Pretty = struct -#include "pretty.ml" +#include "prettyprint.ml" end #include "write2.ml" #undef INT @@ -34,7 +34,7 @@ struct #include "write.ml" module Pretty = struct -#include "pretty.ml" +#include "prettyprint.ml" end #include "monomorphic.ml" #include "write2.ml" @@ -61,7 +61,7 @@ struct #include "write.ml" module Pretty = struct -#include "pretty.ml" +#include "prettyprint.ml" end #include "monomorphic.ml" #include "write2.ml" @@ -89,7 +89,7 @@ struct #include "write.ml" module Pretty = struct -#include "pretty.ml" +#include "prettyprint.ml" end #include "monomorphic.ml" #include "write2.ml"