Fix space in error message

jad-hamza · jad-hamza · commit 5cf176ae56fd · 2021-04-29T09:56:26.000+02:00
diff --git a/src/main/scala/inox/solvers/smtlib/SMTLIBParser.scala b/src/main/scala/inox/solvers/smtlib/SMTLIBParser.scala
@@ -224,9 +224,7 @@ trait SMTLIBParser {
       val MapType(from, to) = fromSMT(sort)
       FiniteMap(Seq.empty, d, from, to)
 
-    case _ => throw new MissformedSMTException(term,
-      " Unknown SMT term of class: " + term.getClass
-    )
+    case _ => throw new MissformedSMTException(term, "Unknown SMT term of class: " + term.getClass)
   }
 
   protected def fromSMT(sort: Sort)(implicit context: Context): Type = sort match {

Original file line number	Diff line number	Diff line change
`@@ -224,9 +224,7 @@ trait SMTLIBParser {`
`224`	`224`	`val MapType(from, to) = fromSMT(sort)`
`225`	`225`	`FiniteMap(Seq.empty, d, from, to)`
`226`	`226`
`227`		`- case _ => throw new MissformedSMTException(term,`
`228`		`- " Unknown SMT term of class: " + term.getClass`
`229`		`- )`
	`227`	`+ case _ => throw new MissformedSMTException(term, "Unknown SMT term of class: " + term.getClass)`
`230`	`228`	`}`
`231`	`229`
`232`	`230`	`protected def fromSMT(sort: Sort)(implicit context: Context): Type = sort match {`