Fixed corner case

usethesource · Sep 29, 2024 · c5c7c33 · c5c7c33
1 parent a3e5501
commit c5c7c33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);
    }
 }