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>
|