From ff3a7bd73463775541943b90e09bda8c7f2e742b Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 17 May 2014 19:21:09 -0700
Subject: [PATCH] fix(kernel/type_checker): style

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/kernel/type_checker.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/kernel/type_checker.h b/src/kernel/type_checker.h
index a8859d6d9..8d9174ee4 100644
--- a/src/kernel/type_checker.h
+++ b/src/kernel/type_checker.h
@@ -7,6 +7,7 @@ Author: Leonardo de Moura
 #pragma once
 #include <memory>
 #include <utility>
+#include <algorithm>
 #include "util/name_generator.h"
 #include "util/name_set.h"
 #include "kernel/environment.h"