X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=48fa28acb71cf1b8d49112df717d2ac460dc2e9b;hb=f9fe0087091f88deeb814d0768eecdfb1b51a94d;hp=8d5bc0fa3bab813c3a68b5fa149ae95b27c51800;hpb=a726f5f6e1e0731a0516be1e9e23397744734ef5;p=model-checker.git

diff --git a/model.cc b/model.cc
index 8d5bc0f..48fa28a 100644
--- a/model.cc
+++ b/model.cc
@@ -1,6 +1,5 @@
 #include <stdio.h>
 #include <algorithm>
-#include <mutex>
 #include <new>
 #include <stdarg.h>