Alexander_KS/SAPFOR
4
2
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fixed modules processing

Browse Source
This commit is contained in:
ALEXks
2024-02-02 20:35:44 +03:00
parent d6a61190a8
commit 95479c4740
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sapfor/experts/Sapfor_2017/_src/Utils/version.h
View File

@@ -1,3 +1,3 @@
#pragma once
#define VERSION_SPF "2268"
#define VERSION_SPF "2269"

1
sapfor/experts/Sapfor_2017/_src/VerificationCode/CorrectVarDecl.cpp
View File

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