From e7ac04d5b37159dedc6b4eda48d63bc1909c3707 Mon Sep 17 00:00:00 2001
From: adash <adash>
Date: Wed, 6 Aug 2008 07:31:31 +0000
Subject: [PATCH] add new Barrier Class

---
 Robust/src/Main/Main.java | 1 +
 1 file changed, 1 insertion(+)

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");
-- 
2.34.1