make kore ConcreteClasses private again

runtimeverification · Oct 12, 2023 · 7010152 · 7010152
1 parent 64c5a0e
commit 7010152
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/kore/src/main/scala/org/kframework/parser/kore/Default.scala b/kore/src/main/scala/org/kframework/parser/kore/Default.scala
@@ -5,8 +5,7 @@ import org.kframework.parser.{kore => i}
 
 object implementation {
 
-  // TODO: make private again
-  object ConcreteClasses {
+  private object ConcreteClasses {
 
     case class Definition(att: i.Attributes, modules: Seq[i.Module]) extends i.Definition