From: Brian Norris <banorris@uci.edu>
Date: Fri, 13 Jul 2012 06:12:29 +0000 (-0700)
Subject: model: remove unused #include
X-Git-Tag: pldi2013~353
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=c0ba8bc46e9c15214d0fce2d3f8f984b11636683

model: remove unused #include
---

diff --git a/model.h b/model.h
index e62ff00..2093bf4 100644
--- 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"