From 7010152e676b4f5e40b908a267517bd627f8d4d6 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Thu, 28 Sep 2023 14:19:00 -0500
Subject: [PATCH] make kore ConcreteClasses private again

---
 kore/src/main/scala/org/kframework/parser/kore/Default.scala | 3 +--
 1 file changed, 1 insertion(+), 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
index 01df2ccf620..c7c2b2b9e47 100644
--- 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