From 0c458b7a1e7b2acee5558a8658e141e9af6f6609 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <a-mikmay@microsoft.com>
Date: Thu, 7 Jan 2016 11:55:29 +0100
Subject: [PATCH] Hot fix: Wrong double quote in StrOps.java
---
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 7f6013501..0d1fb1aae 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 RuntimeError("Invalid substring indices : " + start + ", " + end + " for string \""+a+"\"");
else
return a.substring(start.underlying().intValue(), end.underlying()
.intValue());
--
GitLab