From e13c331e7848bdf74c7d8464f534f8e5bd9104ee Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Mon, 14 Oct 2013 07:47:51 +0400
Subject: [PATCH] Use throwException() instead of manually created instance

---
 src/org/jetbrains/eval4j/interpreter.kt | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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"))
                 }
             }