unrelacy: include <mutex> and <condition_variable>
authorBrian Norris <banorris@uci.edu>
Tue, 6 Nov 2012 20:10:39 +0000 (12:10 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 7 Nov 2012 03:17:16 +0000 (19:17 -0800)
Relacy expects to have these headers even if they aren't included by the
program.

include/unrelacy.h

index 2c6c48d..c16a373 100644 (file)
@@ -4,6 +4,8 @@
 #include <stdatomic.h>
 #include <stdlib.h>
 #include <stdio.h>
+#include <mutex>
+#include <condition_variable>
 
 #include <model-assert.h>