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