diff --git a/testcases/BubbleSort.scala b/testcases/BubbleSort.scala
index 39fa6dfb9000f7b687b3c118ac3931f77f70af13..f807c1b8589b62b1a3eaf669509a20af4982e531 100644
--- a/testcases/BubbleSort.scala
+++ b/testcases/BubbleSort.scala
@@ -16,7 +16,7 @@ object BubbleSort {
           val tmp = sa(j)
           sa(j) = sa(j+1)
           sa(j+1) = tmp
-        } else 0
+        }
         j = j + 1
       }) invariant(
             j >= 0 &&