diff --git a/build.sbt b/build.sbt
index 1bfde5b9a..50b14d70b 100644
--- a/build.sbt
+++ b/build.sbt
@@ -187,6 +187,7 @@ lazy val sbtRoot: Project = (project in file("."))
     utilLogging,
     utilControl,
     completeProj,
+    logicProj,
   )
   .settings(
     minimalSettings,
diff --git a/internal/util-logic/src/main/scala/sbt/internal/util/logic/Logic.scala b/internal/util-logic/src/main/scala/sbt/internal/util/logic/Logic.scala
index 0ca045630..6ccca8647 100644
--- a/internal/util-logic/src/main/scala/sbt/internal/util/logic/Logic.scala
+++ b/internal/util-logic/src/main/scala/sbt/internal/util/logic/Logic.scala
@@ -98,7 +98,7 @@ object Formula {
     assert(literals.nonEmpty, "'And' requires at least one literal.")
   }
 
-  final case object True extends Formula
+  case object True extends Formula
 
 }
 
@@ -162,7 +162,7 @@ object Logic {
 
   private[this] def graph(deps: Map[Atom, Set[Literal]]) = new Dag.DirectedSignedGraph[Atom] {
     type Arrow = Literal
-    def nodes = deps.keys.toList
+    def nodes: List[Atom] = deps.keys.toList
     def dependencies(a: Atom) = deps.getOrElse(a, Set.empty).toList
 
     def isNegative(b: Literal) = b match {