Implemented general enhancements

1 files changed, 1 insertions, 3 deletions

diff --git a/main/exception/ExceptionManager.java b/main/exception/ExceptionManager.java
index dbb59d3..2dd46f5 100644
--- a/main/exception/ExceptionManager.java
+++ b/main/exception/ExceptionManager.java
@@ -1,7 +1,5 @@
 package com.jantuomi.interpreter.main.exception;
 
-import java.util.List;
-
 /**
  * Created by jan on 10.6.2016.
  */
@@ -16,7 +14,7 @@ public class ExceptionManager {
         return instance;
     }
 
-    public static void raise(InterpreterException.ExceptionType ex, int line, List<String> args) throws InterpreterException {
+    public static void raise(InterpreterException.ExceptionType ex, int line, String... args) throws InterpreterException {
         InterpreterException e = new InterpreterException(ex, line, args);
         throw e;
     }