Changes in tests/concurrent/mutexstmt/monitors.cfa [a4d098c:af67ee1]

File:

• tests/concurrent/mutexstmt/monitors.cfa (modified) (2 diffs)

tests/concurrent/mutexstmt/monitors.cfa

@@ -1 +1 @@
 #include <monitor.hfa>
+#include <mutex_stmt.hfa>
 #include <stdio.h>
 #include <stdlib.hfa>
@@ -13 +14 @@
 bool insideFlag = false;
 int count = 0;
+bool startFlag = false;
 
 void main( T_Mutex & this ) {