projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: cb5fb31)
model: remove unused #include
authorBrian Norris <banorris@uci.edu>
Fri, 13 Jul 2012 06:12:29 +0000 (23:12 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 13 Jul 2012 06:12:41 +0000 (23:12 -0700)
model.h patch | blob | history

diff --git a/model.h b/model.h
index e62ff00cac3083279506d0cc0f045028235919fa..2093bf4b19cb31579d2b5e1040bcdb3ce55eb63c 100644 (file)
--- a/model.h
+++ b/model.h
@@ -13,7 +13,6 @@
 
 #include "schedule.h"
 #include "mymemory.h"
-#include <utility>
 #include "libthreads.h"
 #include "libatomic.h"
 #include "threads.h"
C++11 memory model checker