robur/webauthn
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

error: remove unused constructor '`None'

Browse source
This commit is contained in:
Robur 2021-10-04 14:36:32 +00:00
parent 3436722505
commit a5af696428
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/webauthn.ml
View file

@ -10,7 +10,6 @@ type error = [
| `Rpid_hash_mismatch of Cstruct.t * Cstruct.t
| `Missing_credential_data
| `Msg of string
| `None
]
let pp_error ppf = function
@ -30,7 +29,6 @@ let pp_error ppf = function
Fmt.pf ppf "rpid hash mismatch: expected %a received %a" Cstruct.hexdump_pp should Cstruct.hexdump_pp is
| `Missing_credential_data -> Fmt.string ppf "missing credential data"
| `Msg msg -> Fmt.pf ppf "error %s" msg
| `None -> Fmt.string ppf "error none"
type t = {
origin : string;