From a08805f6db8e2555d051dc313f6c1a1b27117344 Mon Sep 17 00:00:00 2001
From: Philipp Ruemmer <ph_r@gmx.net>
Date: Fri, 15 Mar 2024 16:36:41 +0100
Subject: [PATCH] fixed compilation

---
 src/test/scala/lazabs/horn/Util.scala               | 6 +++---
 src/test/scala/lazabs/horn/theories/Rationals.scala | 1 +
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/test/scala/lazabs/horn/Util.scala b/src/test/scala/lazabs/horn/Util.scala
index d9060254..ff9fbfd5 100644
--- a/src/test/scala/lazabs/horn/Util.scala
+++ b/src/test/scala/lazabs/horn/Util.scala
@@ -1,6 +1,6 @@
 package lazabs.horn
 
-import lazabs.horn.bottomup.HornWrapper
+import lazabs.horn.Util._
 import ap.api.SimpleAPI.ProverStatus
 import lazabs.horn.preprocessor.HornPreprocessor.{CounterExample, Solution}
 import org.scalatest.matchers.{MatchResult, Matcher}
@@ -24,8 +24,8 @@ trait CHCResultMatchers extends Matchers {
   }
 
   def hideOutput[A](comp : => A) : A =
-    Console.withOut(HornWrapper.NullStream) {
-      Console.withErr(HornWrapper.NullStream) {
+    Console.withOut(NullStream) {
+      Console.withErr(NullStream) {
         comp
       }
     }
diff --git a/src/test/scala/lazabs/horn/theories/Rationals.scala b/src/test/scala/lazabs/horn/theories/Rationals.scala
index 2402ee03..cfb799a4 100644
--- a/src/test/scala/lazabs/horn/theories/Rationals.scala
+++ b/src/test/scala/lazabs/horn/theories/Rationals.scala
@@ -29,6 +29,7 @@
 
 package lazabs.horn.theories
 
+import lazabs.horn.HornWrapper
 import lazabs.horn.bottomup._
 import ap.parser._
 import ap.theories.rationals.Rationals