From ff0fd9342b1e3374fa2cf2e338f7ea50c46d0398 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 9 May 2012 19:44:09 +0200
Subject: [PATCH] fix the code in Bubble Sort
---
testcases/BubbleSort.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/testcases/BubbleSort.scala b/testcases/BubbleSort.scala
index 39fa6dfb9..f807c1b85 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 &&
--
GitLab