diff options
| -rw-r--r-- | ajdoc/src/org/aspectj/tools/ajdoc/Main.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java index a236421ef..a69dbc1d5 100644 --- a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java +++ b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java @@ -399,7 +399,7 @@ public class Main implements Config { StringTokenizer st = new StringTokenizer(line, " "); List argList = new ArrayList(); while(st.hasMoreElements()) { - argList.add((String)st.nextElement()); + argList.add(st.nextElement()); } //System.err.println(argList); args = new String[argList.size()]; |