From 73525f974f96ce096782770826c9d86963f3c5e4 Mon Sep 17 00:00:00 2001 From: Aman Goel Date: Thu, 16 May 2024 17:52:21 +0000 Subject: [PATCH] Correct sync with mainline --- .../CompilerCore/Backend/PExplicit/CompilationContext.cs | 1 - Src/PCompiler/CompilerCore/CompilerCore.csproj | 3 --- Src/PCompiler/PCommandLine/Options/PCheckerOptions.cs | 1 - 3 files changed, 5 deletions(-) diff --git a/Src/PCompiler/CompilerCore/Backend/PExplicit/CompilationContext.cs b/Src/PCompiler/CompilerCore/Backend/PExplicit/CompilationContext.cs index 6013e39f51..fb7982cb6f 100644 --- 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 index 9e0efd5361..c3cf7ad18e 100644 --- a/Src/PCompiler/CompilerCore/CompilerCore.csproj +++ b/Src/PCompiler/CompilerCore/CompilerCore.csproj @@ -25,7 +25,4 @@ Plang.Compiler - - - diff --git a/Src/PCompiler/PCommandLine/Options/PCheckerOptions.cs b/Src/PCompiler/PCommandLine/Options/PCheckerOptions.cs index a98d1df245..ca7d951418 100644 --- 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; }