Make ConcreteBuilder constructor protected

JetBrains · Feb 15, 2024 · 353e4f9 · 353e4f9
1 parent 8ee79c3
commit 353e4f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/src/main/java/org/arend/term/abs/ConcreteBuilder.java b/base/src/main/java/org/arend/term/abs/ConcreteBuilder.java
@@ -32,7 +32,7 @@ public class ConcreteBuilder implements AbstractDefinitionVisitor<Concrete.Resol
   private final TCReferable myDefinition;
   private GeneralError.Level myErrorLevel;
 
-  private ConcreteBuilder(ReferableConverter referableConverter, ErrorReporter errorReporter, TCReferable definition) {
+  protected ConcreteBuilder(ReferableConverter referableConverter, ErrorReporter errorReporter, TCReferable definition) {
     myReferableConverter = referableConverter;
     myDefinition = definition;
     myErrorReporter = new LocalErrorReporter(myDefinition, errorReporter) {