chore(frontends/lean/decl_attributes): style

2015-12-17 22:50:01 -08:00 · 2015-12-17 22:50:01 -08:00 · 9a6bd96d6b
commit 9a6bd96d6b
parent 657b508cdf
1 changed files with 1 additions and 0 deletions
--- a/src/frontends/lean/decl_attributes.h
+++ b/src/frontends/lean/decl_attributes.h
@ -5,6 +5,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #pragma once
+#include <string>
 #include "kernel/environment.h"
 #include "library/io_state.h"
 namespace lean {