diff options
Diffstat (limited to 'main/exception/ExceptionManager.java')
| -rw-r--r-- | main/exception/ExceptionManager.java | 4 |
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; } |
