X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=clockvector.cc;fp=clockvector.cc;h=7d947c63873cc41abc2b0cfb2cff85868ba6765d;hb=dd7f61668db41bed95b0cbf43f0b2cad5cd41060;hp=4dd03dc26fb7291a59ed4d1304358948bff6e062;hpb=730038c9f0475c6c4355c8b2a15cab702207e5c3;p=model-checker.git

diff --git a/clockvector.cc b/clockvector.cc
index 4dd03dc..7d947c6 100644
--- a/clockvector.cc
+++ b/clockvector.cc
@@ -1,4 +1,3 @@
-#include <algorithm>
 #include <cstring>
 #include <stdlib.h>