diff options
Diffstat (limited to 'ajdoc/src')
| -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 ed384642e..5c9047dcb 100644 --- a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java +++ b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java @@ -475,7 +475,7 @@ public class Main implements Config { } } List vargs = new LinkedList(Arrays.asList(args)); - + vargs.add("-Xset:minimalModel=false"); parseArgs(vargs, new File(".")); // !!! if (filenames.size() == 0) { |