From dd7f61668db41bed95b0cbf43f0b2cad5cd41060 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 1 Nov 2012 21:19:51 -0700
Subject: [PATCH] clockvector: remove old include

We don't use std::max anymore.
---
 clockvector.cc | 1 -
 1 file changed, 1 deletion(-)

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>
 
-- 
2.34.1