From b9e7fecb1f6561852c0d5497d72dc4e6b4f62574 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 3 Oct 2014 16:26:28 -0700
Subject: [PATCH] fix(frontends/lean/elaborator): style

---
 src/frontends/lean/elaborator.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/frontends/lean/elaborator.h b/src/frontends/lean/elaborator.h
index cadbfd027..05222ed69 100644
--- a/src/frontends/lean/elaborator.h
+++ b/src/frontends/lean/elaborator.h
@@ -6,6 +6,7 @@ Author: Leonardo de Moura
 */
 #pragma once
 #include <utility>
+#include <vector>
 #include "util/list.h"
 #include "kernel/metavar.h"
 #include "kernel/type_checker.h"