From 62619f7fff76114971d5cb6813056902875f1827 Mon Sep 17 00:00:00 2001 From: "Azmyin M. Kamal" Date: Thu, 22 Aug 2024 12:05:34 -0500 Subject: [PATCH] analyzer: Add missing include. Refs #273. This commit adds a missing include that leads to an error in newer versions of clang. --- analyzer/include/ikos/analyzer/analysis/liveness.hpp | 1 + 1 file changed, 1 insertion(+) diff --git a/analyzer/include/ikos/analyzer/analysis/liveness.hpp b/analyzer/include/ikos/analyzer/analysis/liveness.hpp index 3c925dcb..873b4715 100644 --- a/analyzer/include/ikos/analyzer/analysis/liveness.hpp +++ b/analyzer/include/ikos/analyzer/analysis/liveness.hpp @@ -47,6 +47,7 @@ #include #include +#include // Fix suggested by ivanperez-keera here https://github.com/NASA-SW-VnV/ikos/issues/273 #include