-
Philippe Suter authoredPhilippe Suter authored
CompilationException.scala 130 B
package leon
package codegen
case class CompilationException(msg : String) extends Exception {
override def getMessage = msg
}
package leon
package codegen
case class CompilationException(msg : String) extends Exception {
override def getMessage = msg
}