From 0cf9627f26a352bb5bceeac6fd71d6faad2c65d5 Mon Sep 17 00:00:00 2001 From: Scott Lystig Fritchie Date: Thu, 4 Jun 2015 15:05:37 +0900 Subject: [PATCH] Bugfix, found by inspection, yay! --- src/machi_chain_manager1.erl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/machi_chain_manager1.erl b/src/machi_chain_manager1.erl index c2eaec1..e2c3491 100644 --- a/src/machi_chain_manager1.erl +++ b/src/machi_chain_manager1.erl @@ -1669,7 +1669,8 @@ projection_transition_is_sane( %% Additions to the UPI chain may only be at the tail UPI_common_prefix = find_common_prefix(UPI_list1, UPI_list2), - if UPI_common_prefix == [] -> + true = + if UPI_common_prefix == [] -> if UPI_list1 == [] orelse UPI_list2 == [] -> %% If the common prefix is empty, then one of the %% inputs must be empty. @@ -1695,7 +1696,7 @@ projection_transition_is_sane( %% [] [b] %% %% ... where RelativeToServer=b. In this case, b - %% has been partitions for a while and has only + %% has been partitioned for a while and has only %% now just learned of several epoch transitions. %% If the author of both is also in the UPI of %% both, then those authors would not have allowed