minor

Signed-off-by: Elazar Gershuni <[email protected]>
vbpf · Sep 26, 2024 · 643bce8 · 643bce8
1 parent f19f3e5
commit 643bce8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/crab/linear_expression.hpp b/src/crab/linear_expression.hpp
@@ -4,7 +4,8 @@
 
 #include <map>
 
-#include "variable.hpp"
+#include "crab/variable.hpp"
+#include "crab_utils/num_big.hpp"
 
 namespace crab {
 // A linear expression is of the form: Ax + By + Cz + ... + N.