changes
[IRC.git] / Robust / src / Runtime / STM / commit.c
index b4500520d46ca4a886ba0822760e2e288d9d74d4..b05d63c6275203ed40983e166b3815ba887d96af 100644 (file)
@@ -1,4 +1,7 @@
 #include<tm.h>
+#ifdef DELAYCOMP
+#include<delaycomp.h>
+#endif
 
 /* ================================================================
  * transCommit