-misc fixes

This commit is contained in:
Christian Grothoff 2023-04-22 02:30:02 +02:00
parent 9e61579c8b
commit 0236caf354
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

View File

@ -280,7 +280,7 @@ BEGIN
END IF;
CONTINUE loop2_k;
WHEN 1 THEN
IF in0_reserve_pub = i.reserve_pub
IF in1_reserve_pub = i.reserve_pub
THEN
transaction_duplicate1 = FALSE;
EXECUTE FORMAT (