summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordberg.se>2014-09-14 22:31:23 +0200
committerLinus Nordberg <linus@nordberg.se>2014-09-14 22:31:23 +0200
commit77db7127e3ed985a878d44345bf4014df13743b9 (patch)
treec7d2ae532a7ce84e1a6d30f2deb1f4518f8d444a
parent6bc276e65e89764968f3058bd281f6825d3182ba (diff)
Update #tree.evaluated for V=0 too.
-rw-r--r--src/ht.erl2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ht.erl b/src/ht.erl
index 462dfa2..9aa989f 100644
--- a/src/ht.erl
+++ b/src/ht.erl
@@ -278,7 +278,7 @@ update(Tree) ->
-spec update(tree(), non_neg_integer()) -> tree().
update(Tree, 0) ->
%% A version 0 tree needs no updating.
- Tree;
+ Tree#tree{evaluated = 0};
update(Tree = #tree{evaluated = E}, V) when E >= V ->
%% Evaluated enough already. Nothing to do.
Tree;