From 99145073ef39ca60eff404d46863cb5fa4245096 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 8 Mar 2016 10:16:11 -0800 Subject: [PATCH] chore(library/type_context): fix style --- src/library/type_context.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/library/type_context.h b/src/library/type_context.h index ac18d9e30b..82f865fdb3 100644 --- a/src/library/type_context.h +++ b/src/library/type_context.h @@ -5,6 +5,7 @@ Released under Apache 2.0 license as described in the file LICENSE. Author: Leonardo de Moura */ #pragma once +#include #include "library/metavar_context.h" namespace lean {