*** empty log message ***

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 4f391128fd5134aa1238a6bc744b9cb06e88dd2e..b6036fc962aa66d8cd667014f395ec2873828d14 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -95,7 +95,7 @@ public class Main {
 
       BuildFlat bf=new BuildFlat(state,tu);
       bf.buildFlat();
-      
+
       BuildCode bc=new BuildCode(state, bf.getMap(), tu);
       bc.buildCode();
       System.exit(0);

diff --git a/Robust/src/Runtime/DSTM/docs/readme.txt b/Robust/src/Runtime/DSTM/docs/readme.txt
new file mode 100644 (file)
index 0000000..2ddc5a0
--- /dev/null
+++ b/Robust/src/Runtime/DSTM/docs/readme.txt
@@ -0,0 +1 @@
+Distributed Shared Transactional Memory
\ No newline at end of file