Oups

diff --git a/debian/patches/0012-Make-objinfo-show-force_link-and-ccobjs-ccopts-when-.patch b/debian/patches/0012-Make-objinfo-show-force_link-and-ccobjs-ccopts-when-.patch
index d5bf2c6d230357aa288f2dc9793007065e5cb254..4656ac5dc19ed1fc126392af11c611f005f1bcd3 100644 (file)
--- a/debian/patches/0012-Make-objinfo-show-force_link-and-ccobjs-ccopts-when-.patch
+++ b/debian/patches/0012-Make-objinfo-show-force_link-and-ccobjs-ccopts-when-.patch
@@ -43,9 +43,9 @@ index 4f467f2..89855da 100644
 -let print_general_infos name crc defines cmi cmx =
 +let print_general_infos name force_link crc defines cmi cmx =
    printf "Name: %s\n" name;
-+  match force_link with
++  (match force_link with
 +      Some flag -> printf "Force link: %s\n" (string_of_bool flag)
-+    | None -> ();
++    | None -> ());
    printf "CRC of implementation: %s\n" (Digest.to_hex crc);
    printf "Globals defined:\n";
    List.iter print_line defines;