From d745f000d6d60b9cdf0ba40dbf80660c1aa6bc61 Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Mon, 20 Jun 2016 20:55:22 +0300
Subject: Implemented general enhancements

---
 main/exception/ExceptionManager.java | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'main/exception/ExceptionManager.java')

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;
     }
-- 
cgit v1.3