From ac0eafa1b65e298d567202e3979048dc36f4ffa7 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Tue, 24 Sep 2013 19:34:58 -0700
Subject: [PATCH] Fix style-warning

---
 src/library/rewrite/rewrite.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/library/rewrite/rewrite.h b/src/library/rewrite/rewrite.h
index 2aec73b00..75d3b4cc2 100644
--- a/src/library/rewrite/rewrite.h
+++ b/src/library/rewrite/rewrite.h
@@ -6,6 +6,7 @@ Author: Soonho Kong
 */
 #pragma once
 #include <utility>
+#include <algorithm>
 #include "util/exception.h"
 #include "kernel/environment.h"