From 7057f699237d340ef3ea6bdef500a0d342850abb Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 8 Jun 2018 11:14:45 -0700 Subject: [PATCH] chore(library/pos_info_provider): style --- src/library/pos_info_provider.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/library/pos_info_provider.cpp b/src/library/pos_info_provider.cpp index 805ceff4dc..f213f5241c 100644 --- a/src/library/pos_info_provider.cpp +++ b/src/library/pos_info_provider.cpp @@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE. Author: Leonardo de Moura */ +#include #include "runtime/interrupt.h" #include "kernel/cache_stack.h" #include "kernel/free_vars.h"