aboutsummaryrefslogtreecommitdiff
path: root/devel/phasar/files/patch-include_phasar_PhasarLLVM_ControlFlow_Resolver_RTAResolver.h
blob: 1876e840dec18b128ee513730f5ac7c89c94e0ea (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
- workaround for https://github.com/secure-software-engineering/phasar/issues/562

--- include/phasar/PhasarLLVM/ControlFlow/Resolver/RTAResolver.h.orig	2024-03-02 09:55:57 UTC
+++ include/phasar/PhasarLLVM/ControlFlow/Resolver/RTAResolver.h
@@ -17,6 +17,8 @@
 #ifndef PHASAR_PHASARLLVM_CONTROLFLOW_RESOLVER_RTARESOLVER_H_
 #define PHASAR_PHASARLLVM_CONTROLFLOW_RESOLVER_RTARESOLVER_H_
 
+#include <vector>
+
 #include "phasar/PhasarLLVM/ControlFlow/Resolver/CHAResolver.h"
 
 #include <vector>