Scala 2.13 fixes

sankalpgambhir · Sep 18, 2024 · 14d0a24 · 14d0a24
1 parent bf31354
commit 14d0a24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/lazabs/horn/parser/HornReader.scala b/src/main/scala/lazabs/horn/parser/HornReader.scala
@@ -746,7 +746,7 @@ class ClauseQuantifierEliminator(rawClause       : IFormula,
       val existConsts = createExistentialConstants(a.size)
 
       implicit val _order: TermOrder = order
-      import TerForConvenience.*
+      import TerForConvenience._
 
       addAssertion(a === (for (IConstant(c) <- existConsts) yield c))