Fixed a bug causing error: ".dll file not found"

p-org · Jan 20, 2025 · 632ba13 · 632ba13
1 parent 521f855
commit 632ba13
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Src/PCompiler/PCommandLine/Options/PCheckerOptions.cs b/Src/PCompiler/PCommandLine/Options/PCheckerOptions.cs
@@ -400,7 +400,7 @@ from file in Directory.GetFiles(checkerConfiguration.PCompiledPath, filePattern,
                 {
                     if (checkerConfiguration.Mode == CheckerMode.BugFinding)
                     {
-                        if (!fileName.Contains($"CSharp{pathSep}"))
+                        if (!fileName.Contains($"PChecker{pathSep}"))
                             continue;
                         if (fileName.EndsWith("PCheckerCore.dll")
                             || fileName.EndsWith("PCSharpRuntime.dll")