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

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