blob: 0cc92bdb2c3d02dde0aac25d72c363f76d75c0a3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
- https://github.com/secure-software-engineering/phasar/issues/762
--- lib/Utils/DOTGraph.cpp.orig 2025-03-16 05:23:34 UTC
+++ lib/Utils/DOTGraph.cpp
@@ -23,6 +23,7 @@
#include <fstream>
#include <iterator>
#include <ostream>
+#include <sstream>
#include <utility>
namespace psr {
|