From 95479c4740a9eec15b41ff491ea8a8e2727f990d Mon Sep 17 00:00:00 2001
From: ALEXks <alexks179@gmail.com>
Date: Fri, 2 Feb 2024 20:35:44 +0300
Subject: [PATCH] fixed modules processing

---
 sapfor/experts/Sapfor_2017/_src/Utils/version.h                 | 2 +-
 .../Sapfor_2017/_src/VerificationCode/CorrectVarDecl.cpp        | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/sapfor/experts/Sapfor_2017/_src/Utils/version.h b/sapfor/experts/Sapfor_2017/_src/Utils/version.h
index f0d5623..0fd6ff0 100644
--- a/sapfor/experts/Sapfor_2017/_src/Utils/version.h
+++ b/sapfor/experts/Sapfor_2017/_src/Utils/version.h
@@ -1,3 +1,3 @@
 #pragma once
 
-#define VERSION_SPF "2268"
+#define VERSION_SPF "2269"
diff --git a/sapfor/experts/Sapfor_2017/_src/VerificationCode/CorrectVarDecl.cpp b/sapfor/experts/Sapfor_2017/_src/VerificationCode/CorrectVarDecl.cpp
index 7c1a4be..69d2607 100644
--- a/sapfor/experts/Sapfor_2017/_src/VerificationCode/CorrectVarDecl.cpp
+++ b/sapfor/experts/Sapfor_2017/_src/VerificationCode/CorrectVarDecl.cpp
@@ -150,6 +150,7 @@ void fillUseStatement(SgStatement *st, set<string> &useMod,
     {
         SgExpression *ex = st->expr(0);
         string modName = st->symbol()->identifier();
+        convertToLower(modName);
         useMod.insert(modName);
 
         if (ex)