add new Barrier Class

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 37a83aaf9fa0e48c18b7d0bba5878665bffd3200..11043b2c07fe57fbbc362234d505e38e091bef65 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -173,6 +173,7 @@ public class Main {
       } else if (state.DSM) {
          readSourceFile(state, ClassLibraryPrefix+"ThreadDSM.java");
          readSourceFile(state, ClassLibraryPrefix+"ObjectJavaDSM.java");
+         readSourceFile(state, ClassLibraryPrefix+"Barrier.java");
       } else {
          if (state.THREAD) {
              readSourceFile(state, ClassLibraryPrefix+"Thread.java");