From 9138caa70d28bdc7aa13ef56e6777bb57bd833ba Mon Sep 17 00:00:00 2001
From: Oleg Nikitin <s02240508@gse.cs.msu.ru>
Date: Mon, 27 Apr 2026 14:51:44 +0300
Subject: [PATCH] add message

---
 src/PrivateAnalyzer/private_arrays_search.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/PrivateAnalyzer/private_arrays_search.cpp b/src/PrivateAnalyzer/private_arrays_search.cpp
index 06d4d94..e070d17 100644
--- a/src/PrivateAnalyzer/private_arrays_search.cpp
+++ b/src/PrivateAnalyzer/private_arrays_search.cpp
@@ -21,6 +21,7 @@
 using namespace std;
 
 extern std::map<std::tuple<int, std::string, std::string>, std::pair<DIST::Array*, DIST::ArrayAccessInfo*>> declaredArrays;
+extern map<string, vector<Messages>> SPF_messages;
 
 static set<Region*> collapsed;