From 2ff301babdd7382efaf9cb1f36ab8a49cacd7dba Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 16 Feb 2018 15:01:55 -0800 Subject: [PATCH] chore(library/persistent_context_cache): style --- src/library/persistent_context_cache.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/library/persistent_context_cache.cpp b/src/library/persistent_context_cache.cpp index 6536eb42f2..eb0917e119 100644 --- a/src/library/persistent_context_cache.cpp +++ b/src/library/persistent_context_cache.cpp @@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE. Author: Leonardo de Moura */ +#include #include "library/persistent_context_cache.h" #include "library/context_cache.h"