Fix warning 16 (optional argument cannot be erased)

moby / vpnkit

A toolkit for embedding VPN capabilities in your application

Apache License 2.0

1.1k stars 187 forks source link

Fix warning 16 (optional argument cannot be erased) #540

Closed djs55 closed 2 years ago

djs55 commented 3 years ago

File "src/hostnet/vmnet.ml", line 327, characters 30-42:
327 |   let client_negotiate ~uuid ?preferred_ip ~fd =
                                    ^^^^^^^^^^^^
Error (warning 16 [unerasable-optional-argument]): this optional argument cannot be erased.

Signed-off-by: David Scott dave@recoil.org