add include directives

gitrj95 · arthaud · commit 2e647432427b · 2023-02-25T14:19:21.000-08:00
- data_layout.hpp: missing vector
- add_partitioning_variables.cpp: missing array
diff --git a/ar/include/ikos/ar/semantic/data_layout.hpp b/ar/include/ikos/ar/semantic/data_layout.hpp
@@ -46,6 +46,7 @@
 #pragma once
 
 #include <memory>
+#include <vector>
 
 #include <ikos/ar/support/assert.hpp>
 #include <ikos/ar/support/number.hpp>
diff --git a/ar/src/pass/add_partitioning_variables.cpp b/ar/src/pass/add_partitioning_variables.cpp
@@ -45,6 +45,7 @@
  *
  ******************************************************************************/
 
+#include <array>
 #include <unordered_set>
 
 #include <ikos/ar/pass/add_partitioning_variables.hpp>

Original file line number	Diff line number	Diff line change
`@@ -45,6 +45,7 @@`
`45`	`45`	`*`
`46`	`46`	`******************************************************************************/`
`47`	`47`
	`48`	`+#include <array>`
`48`	`49`	`#include <unordered_set>`
`49`	`50`
`50`	`51`	`#include <ikos/ar/pass/add_partitioning_variables.hpp>`