From c677961273e7f10cb16844064bf3814ae6f7762f Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 4 Dec 2015 17:55:40 +0100
Subject: [PATCH] Don't use sys.error
---
src/main/scala/leon/purescala/Constructors.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/Constructors.scala b/src/main/scala/leon/purescala/Constructors.scala
index 7625eddf8..4b960a043 100644
--- a/src/main/scala/leon/purescala/Constructors.scala
+++ b/src/main/scala/leon/purescala/Constructors.scala
@@ -110,7 +110,7 @@ object Constructors {
canBeSubtypeOf(actualType, typeParamsOf(formalType).toSeq, formalType) match {
case Some(tmap) =>
FunctionInvocation(fd.typed(fd.tparams map { tpd => tmap.getOrElse(tpd.tp, tpd.tp) }), args)
- case None => sys.error(s"$actualType cannot be a subtype of $formalType!")
+ case None => throw LeonFatalError(s"$args:$actualType cannot be a subtype of $formalType!")
}
}
--
GitLab