run-doj-validation-test.sh: a single script that performs validation tests for all...

[IRC.git] / Robust / src / Benchmarks / oooJava / mergesort / MergeSort.java

diff --git a/Robust/src/Benchmarks/oooJava/mergesort/MergeSort.java b/Robust/src/Benchmarks/oooJava/mergesort/MergeSort.java
index 4289bf13c36388292411623a33cfa7426eb103aa..7b65bcdab23ebe91c98c5faf12f38c86aff55db9 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/mergesort/MergeSort.java
+++ b/Robust/src/Benchmarks/oooJava/mergesort/MergeSort.java
@@ -79,7 +79,7 @@ public class MergeSort {
         return;\r
       }\r
     }\r
-    System.out.println("Validation Success.");\r
+    System.out.println("VALID");\r
   }\r
 \r
   protected void merge(int A[], int B[], int out[]) {\r