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)