From 501b7f1bd075df4d8a3372b10688388865287a44 Mon Sep 17 00:00:00 2001 From: Carlos Rodriguez Date: Tue, 10 Sep 2024 13:25:45 +0200 Subject: [PATCH] Update proof.go --- go/proof.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/go/proof.go b/go/proof.go index 5852e82..c826596 100644 --- a/go/proof.go +++ b/go/proof.go @@ -484,7 +484,7 @@ func rightBranchesAreEmpty(spec *InnerSpec, op *InnerOp) (bool, error) { // the index of this branch func getPosition(order []int32, branch int32) (int, error) { if branch < 0 || int(branch) >= len(order) { - return 0, fmt.Errorf("invalid branch: %d", branch) + return -1, fmt.Errorf("invalid branch: %d", branch) } for i, item := range order { if branch == item {