minor: silence warnings
This commit is contained in:
parent
a1e4b71eb9
commit
6d51eb707b
1 changed files with 2 additions and 2 deletions
|
@ -141,8 +141,8 @@ module Make
|
||||||
in
|
in
|
||||||
let url =
|
let url =
|
||||||
match url, archive with
|
match url, archive with
|
||||||
| Some { pelem = Variable (_, { pelem = String url ; _ }) }, None -> Some url
|
| Some { pelem = Variable (_, { pelem = String url ; _ }) ; _ }, None -> Some url
|
||||||
| None, Some { pelem = Variable (_, { pelem = String url ; _ }) } -> Some url
|
| None, Some { pelem = Variable (_, { pelem = String url ; _ }); _ } -> Some url
|
||||||
| _ ->
|
| _ ->
|
||||||
Logs.warn (fun m -> m "%s neither src nor archive present" filename); None
|
Logs.warn (fun m -> m "%s neither src nor archive present" filename); None
|
||||||
in
|
in
|
||||||
|
|
Loading…
Reference in a new issue