fix(library/declaration_index): style

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2014-08-14 18:19:17 -07:00 · 2014-08-14 18:19:17 -07:00 · 2edb53397f
commit 2edb53397f
parent dc3e9a15d2
1 changed files with 1 additions and 0 deletions
--- a/src/library/declaration_index.cpp
+++ b/src/library/declaration_index.cpp
@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.

 Author: Leonardo de Moura
 */
+#include <string>
 #include "library/declaration_index.h"

 namespace lean {