From c5c7c33731ad7e0e0cf86b6d86f032145ef94acd Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Sun, 29 Sep 2024 15:43:02 +0200
Subject: [PATCH] Fixed corner case

---
 test/org/rascalmpl/benchmark/Visiting/visiting.rsc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/org/rascalmpl/benchmark/Visiting/visiting.rsc b/test/org/rascalmpl/benchmark/Visiting/visiting.rsc
index 80680260e4..e08bff0470 100644
--- a/test/org/rascalmpl/benchmark/Visiting/visiting.rsc
+++ b/test/org/rascalmpl/benchmark/Visiting/visiting.rsc
@@ -20,7 +20,7 @@ public ColoredTree genTree(int leafChance, int minDepth,int maxDepth){
    switch(arbInt(3)){
      case 0: return red(left,right);
      case 1: return black(left,right);
-     case 2: return green(left,right);
+     default: return green(left,right);
    }
 }