Merge branch 'main' of github.com:reqT/reqT-jacop into main

reqT · May 28, 2024 · 757553e · 757553e
2 parents 450e395 + 6129371
commit 757553e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/scala/TestConstr.scala b/src/test/scala/TestConstr.scala
@@ -113,7 +113,7 @@ class TestConstr extends munit.FunSuite:
       val requiredEntityTypes = List(Release, Feature, Stakeholder, Resource)
       val isRequiredEntityTypes = requiredEntityTypes.toSet
 
-      def missing(m: Model): Seq[EntType] = m.ents.map(_.t).filterNot(isRequiredEntityTypes)  // Should be e.t in next version of reqT-lang
+      def missing(m: Model): Seq[EntType] = m.ents.map(_.t).filterNot(isRequiredEntityTypes) 
 
       def isValid(m: Model): Boolean = missing(m).isEmpty