From 6a554f6ba7d32a4ba3694bace968cd6a9f3db02e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 14 Nov 2015 15:41:38 -0800
Subject: [PATCH] fix(library/blast/simple_actions): missing include

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

diff --git a/src/library/blast/simple_actions.h b/src/library/blast/simple_actions.h
index b7368208c2..2fa85c5dde 100644
--- a/src/library/blast/simple_actions.h
+++ b/src/library/blast/simple_actions.h
@@ -6,6 +6,7 @@ Author: Leonardo de Moura
 */
 #pragma once
 #include "kernel/expr.h"
+#include "library/blast/hypothesis.h"
 namespace lean {
 namespace blast {
 optional<expr> assumption_action();