summaryrefslogtreecommitdiff
path: root/src/plop.erl
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordberg.se>2014-09-10 10:15:15 +0200
committerLinus Nordberg <linus@nordberg.se>2014-09-10 10:15:15 +0200
commit1f9b5dc8e11449225e6abb45fb8659089502eef0 (patch)
tree0d0e35681e94c57efd85271c43839f4b79b58095 /src/plop.erl
parent471c67946f7eebc6916eccd9fccdc0965e811e1c (diff)
Make dialyzer happier.
Protocol version can be 0.
Diffstat (limited to 'src/plop.erl')
-rw-r--r--src/plop.erl4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/plop.erl b/src/plop.erl
index 8377684..9100ce6 100644
--- a/src/plop.erl
+++ b/src/plop.erl
@@ -50,7 +50,7 @@
%% @doc The parts of an STH which is to be signed. Used as the
%% interface to plop:sth/1, for testing.
-record(sth_signed, {
- version = ?PLOPVERSION :: pos_integer(),
+ version = ?PLOPVERSION :: non_neg_integer(),
signature_type :: signature_type(),
timestamp = now :: 'now' | integer(),
tree_size :: integer(),
@@ -61,7 +61,7 @@
%% @doc What's signed in an SPT. Used for serialisation before hasning
%% and signing. FIXME: Overlapping #spt{} -- merge somehow?
-record(spt_signed, {
- version = ?PLOPVERSION :: pos_integer(),
+ version = ?PLOPVERSION :: non_neg_integer(),
signature_type :: signature_type(),
timestamp :: integer(),
entry_type :: entry_type(),