diff --git a/Makefile.generating b/Makefile.generating index 04faf2bbc7a06a9c5326c0fb07a415fda453dd1c..ea525bf3630c865e6385d89d634fe30127e3dc91 100644 --- a/Makefile.generating +++ b/Makefile.generating @@ -153,8 +153,8 @@ endif ifeq ($(HAS_OCAML408),yes) DYNLINK_INIT=fun () -> () FORMAT_STAG=stag - FORMAT_STRING_OF_STAG=match s with\n\ - | Format.String_tag str -> str\n\ + FORMAT_STRING_OF_STAG=match s with \ + Format.String_tag str -> str \ | _ -> raise (Invalid_argument "unsupported tag extension") FORMAT_STAG_OF_STRING=Format.String_tag s else