XXX: attempt to make CI happier.

tools/coqdep/lib/common.ml

@@ -45,19 +45,24 @@ type what = Library | External
 let str_of_what = function Library -> "library" | External -> "external file"
 
 let warning_module_notfound =
-  let category = CWarnings.CoreCategories.filesystem in
-  CWarnings.create ~name:"module-not-found" ~category @@
-    fun (what, from, f, s) -> let open Pp in
+  let warn (what, from, f, s) =
+    let open Pp in
     str "in file " ++ str f ++ str ", " ++
     str (str_of_what what) ++ spc () ++ str (String.concat "." s) ++ str " is required" ++
     pr_opt (fun pth -> str "from root " ++ str (String.concat "." pth)) from ++
     str " and has not been found in the loadpath!"
+  in
+  CWarnings.create ~name:"module-not-found"
+    ~category:CWarnings.CoreCategories.filesystem warn
 
 let warning_declare =
-  let category = CWarnings.CoreCategories.filesystem in
-  CWarnings.create ~name:"declared-module-not-found" ~category @@
-    fun (f, s) -> let open Pp in
-    str "in file " ++ str f ++ str ", declared ML module " ++ str s ++ str " has not been found!"
+  let warn (f, s) =
+    let open Pp in
+    str "in file " ++ str f ++ str ", declared ML module " ++ str s ++
+    str " has not been found!"
+  in
+  CWarnings.create ~name:"declared-module-not-found"
+    ~category:CWarnings.CoreCategories.filesystem warn
 
 let warn_if_clash ?(what=Library) exact file dir f1 = let open Format in function
   | f2::fl ->