Merge remote-tracking branch 'origin/master'

# Conflicts: # Src/PCompiler/CompilerCore/Backend/Java/TypeManager.cs
p-org · Nov 15, 2023 · 13da285 · 13da285
2 parents d0b34d1 + 44b9f4f
commit 13da285
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Src/PCompiler/CompilerCore/Backend/Java/TypeManager.cs b/Src/PCompiler/CompilerCore/Backend/Java/TypeManager.cs
@@ -258,6 +258,7 @@ internal JSet(JType t)
 
                 internal override string ContainsMethodName => "contains";
                 internal override string InsertMethodName => "add";
+                internal override string MutatorMethodName => "add";
                 internal override string RemoveMethodName => "remove";
             }