diff options
author | Linus Nordberg <linus@nordberg.se> | 2014-09-10 10:15:15 +0200 |
---|---|---|
committer | Linus Nordberg <linus@nordberg.se> | 2014-09-10 10:15:15 +0200 |
commit | 1f9b5dc8e11449225e6abb45fb8659089502eef0 (patch) | |
tree | 0d0e35681e94c57efd85271c43839f4b79b58095 /include | |
parent | 471c67946f7eebc6916eccd9fccdc0965e811e1c (diff) |
Make dialyzer happier.
Protocol version can be 0.
Diffstat (limited to 'include')
-rw-r--r-- | include/plop.hrl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/plop.hrl b/include/plop.hrl index 8985e79..b62a04a 100644 --- a/include/plop.hrl +++ b/include/plop.hrl @@ -15,14 +15,14 @@ %% get-entries requests and also the input to the hash function for %% leaf hashes in the tree. RFC 6962 sect 3.4. -record(mtl, { - version = ?PLOPVERSION :: pos_integer(), + version = ?PLOPVERSION :: non_neg_integer(), leaf_type = timestamped_entry :: leaf_type(), entry :: timestamped_entry() }). -type mtl() :: #mtl{}. -record(spt, { - version :: pos_integer(), % uint8 + version :: non_neg_integer(), % uint8 logid :: binary(), % SHA-256 over DER encoded public log key timestamp :: integer(), % uint64 signature :: signature() |