X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=clockvector.cc;h=7d947c63873cc41abc2b0cfb2cff85868ba6765d;hb=d884d14a6288f1ee1809158e81ffb05bf83f483b;hp=4dd03dc26fb7291a59ed4d1304358948bff6e062;hpb=cabbdfb6fe631a0e4b1bfd1cb73862da6f04d7d8;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>