From: adash <adash>
Date: Wed, 6 Aug 2008 07:31:31 +0000 (+0000)
Subject: add new Barrier Class
X-Git-Tag: preEdgeChange~21
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e7ac04d5b37159dedc6b4eda48d63bc1909c3707;p=IRC.git

add new Barrier Class
---

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 37a83aaf..11043b2c 100644
--- 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");