clockvector: remove old include

[model-checker.git] / clockvector.cc

diff --git a/clockvector.cc b/clockvector.cc
index 4dd03dc26fb7291a59ed4d1304358948bff6e062..7d947c63873cc41abc2b0cfb2cff85868ba6765d 100644 (file)
--- a/clockvector.cc
+++ b/clockvector.cc
@@ -1,4 +1,3 @@
-#include <algorithm>
 #include <cstring>
 #include <stdlib.h>