From 1f9b5dc8e11449225e6abb45fb8659089502eef0 Mon Sep 17 00:00:00 2001
From: Linus Nordberg <linus@nordberg.se>
Date: Wed, 10 Sep 2014 10:15:15 +0200
Subject: Make dialyzer happier.

Protocol version can be 0.
---
 include/plop.hrl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'include')

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()
-- 
cgit v1.1