Fix error in projection_transition_is_sane()
This commit is contained in:
parent
96f5b329c9
commit
502afc7c19
1 changed files with 1 additions and 1 deletions
|
@ -939,7 +939,7 @@ projection_transition_is_sane(
|
||||||
MoreCheckingP ->
|
MoreCheckingP ->
|
||||||
%% Where did elements in UPI_2_suffix come from?
|
%% Where did elements in UPI_2_suffix come from?
|
||||||
%% Only two sources are permitted.
|
%% Only two sources are permitted.
|
||||||
[true = lists:member(X, Repairing_list1) % X added after repair done
|
[lists:member(X, Repairing_list1) % X added after repair done
|
||||||
orelse
|
orelse
|
||||||
lists:member(X, UPI_list1) % X in UPI_list1 after common pref
|
lists:member(X, UPI_list1) % X in UPI_list1 after common pref
|
||||||
|| X <- UPI_2_suffix],
|
|| X <- UPI_2_suffix],
|
||||||
|
|
Loading…
Reference in a new issue