From eaf424e83eb86b189b8645241fb5c86b6ee71d93 Mon Sep 17 00:00:00 2001 From: David Smyth Date: Fri, 7 Jun 2019 13:42:31 +0000 Subject: [PATCH] Added missing #include in pomdp_sigma_cpu.h --- include/nova/pomdp/utilities/pomdp_sigma_cpu.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/nova/pomdp/utilities/pomdp_sigma_cpu.h b/include/nova/pomdp/utilities/pomdp_sigma_cpu.h index d764b2b..a40a38a 100644 --- a/include/nova/pomdp/utilities/pomdp_sigma_cpu.h +++ b/include/nova/pomdp/utilities/pomdp_sigma_cpu.h @@ -29,6 +29,7 @@ #include #include +#include namespace nova {