Towers: tiny refactor

IR0NSIGHT · Feb 12, 2024 · 84db43a · 84db43a
1 parent a0e6f68
commit 84db43a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/effekt/benchmark/towers.effekt b/src/effekt/benchmark/towers.effekt
@@ -14,9 +14,9 @@ def Towers() = {
 
   def pushDisk(piles: TowerSetup, smallerDisk: SingleDisk, pileIdx: Int): StackOfDisks = {
     val currentTopDisk: StackOfDisks = piles.unsafeGet(pileIdx);
-    (smallerDisk, currentTopDisk) match {
-      case (smallerSize, Cons(largerSize,_)) => 
-        if (smallerSize >= largerSize) {
+    currentTopDisk match {
+      case Cons(largerSize,_) => 
+        if (smallerDisk >= largerSize) {
           panic("Cannot put a big smallerDisk on a smaller one:"++show(piles));
         }
     }