diff --git a/src/org/jetbrains/eval4j/interpreter.kt b/src/org/jetbrains/eval4j/interpreter.kt
index ffb94efa01c..e242b2e346c 100644
--- a/src/org/jetbrains/eval4j/interpreter.kt
+++ b/src/org/jetbrains/eval4j/interpreter.kt
@@ -176,10 +176,7 @@ class SingleInstructionInterpreter(private val eval: Eval) : Interpreter<Value>(
                     ObjectValue(value.obj, targetType)
                 }
                 else {
-                    throw ThrownFromEvalException(ObjectValue(
-                            ClassCastException("Value '$value' cannot be cast to $targetType"),
-                            Type.getType(javaClass<ClassCastException>())
-                    ))
+                    throwException(ClassCastException("Value '$value' cannot be cast to $targetType"))
                 }
             }