Correct sync with mainline

p-org · May 16, 2024 · 73525f9 · 73525f9
1 parent f16c473
commit 73525f9
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 5 deletions.
diff --git a/Src/PCompiler/CompilerCore/Backend/PExplicit/CompilationContext.cs b/Src/PCompiler/CompilerCore/Backend/PExplicit/CompilationContext.cs
@@ -1,7 +1,6 @@
 using System;
 using System.Collections.Generic;
 using System.IO;
-using Plang.Compiler.Backend.PExplicit;
 using Plang.Compiler.TypeChecker.AST;
 using Plang.Compiler.TypeChecker.AST.Declarations;
 using Plang.Compiler.TypeChecker.AST.States;

diff --git a/Src/PCompiler/CompilerCore/CompilerCore.csproj b/Src/PCompiler/CompilerCore/CompilerCore.csproj
@@ -25,7 +25,4 @@
       <CustomToolNamespace>Plang.Compiler</CustomToolNamespace>
     </Antlr4>
   </ItemGroup>
-  <ItemGroup>
-    <Folder Include="Backend\PCover" />
-  </ItemGroup>
 </Project>
diff --git a/Src/PCompiler/PCommandLine/Options/PCheckerOptions.cs b/Src/PCompiler/PCommandLine/Options/PCheckerOptions.cs
@@ -78,7 +78,6 @@ internal PCheckerOptions()
             advancedGroup.AddArgument("jvm-args", null, "Specify a concatenated list of JVM arguments to pass, each starting with a colon").IsHidden = true;
             advancedGroup.AddArgument("checker-args", null, "Specify a concatenated list of additional checker arguments to pass, each starting with a colon").IsHidden = true;
             advancedGroup.AddArgument("psym-args", null, "Specify a concatenated list of additional PSym-specific arguments to pass, each starting with a colon").IsHidden = true;
-            advancedGroup.AddArgument("jvm-args", null, "Specify a concatenated list of PSym-specific JVM arguments to pass, each starting with a colon").IsHidden = true;
 
         }