From 1f682c781842634c69afe97dbc0fe5076c0a3531 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <a-mikmay@microsoft.com>
Date: Thu, 7 Jan 2016 12:04:02 +0100
Subject: [PATCH] hot fix: RuntimeException instead of RuntimeError
---
src/main/java/leon/codegen/runtime/StrOps.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/leon/codegen/runtime/StrOps.java b/src/main/java/leon/codegen/runtime/StrOps.java
index 0d1fb1aae..34abc12d7 100644
--- a/src/main/java/leon/codegen/runtime/StrOps.java
+++ b/src/main/java/leon/codegen/runtime/StrOps.java
@@ -14,7 +14,7 @@ public class StrOps {
public static String substring(String a, BigInt start, BigInt end) {
if (start.greaterEquals(end) || start.greaterEquals(length(a))
|| end.lessEquals(new BigInt("0")))
- throw new RuntimeError("Invalid substring indices : " + start + ", " + end + " for string \""+a+"\"");
+ throw new RuntimeException("Invalid substring indices : " + start + ", " + end + " for string \""+a+"\"");
else
return a.substring(start.underlying().intValue(), end.underlying()
.intValue());
--
GitLab