From 39dba8f5e58d3251bfeb541d64f816b23a3196cc Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 14 Oct 2016 11:58:10 -0700
Subject: [PATCH] chore(shell/server): make sure "make style" works

---
 src/shell/server.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/shell/server.cpp b/src/shell/server.cpp
index 9c4afcb67f..b572b31a32 100644
--- a/src/shell/server.cpp
+++ b/src/shell/server.cpp
@@ -7,6 +7,8 @@ Authors: Gabriel Ebner, Leonardo de Moura, Sebastian Ullrich
 #if defined(LEAN_SERVER)
 #include <list>
 #include <string>
+#include <algorithm>
+#include <vector>
 #include "frontends/lean/parser.h"
 #include "library/module.h"
 #include "shell/server.h"