diff --git a/src/main/java/leon/codegen/runtime/StrOps.java b/src/main/java/leon/codegen/runtime/StrOps.java
index 7f6013501436079fbbc6a290604a98bb12cd99b6..0d1fb1aae9350d244b369934c3c1686a0c9e4926 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());