From 6fcc5df6ef62a5cdafbe74b37dc327fc68d5ce08 Mon Sep 17 00:00:00 2001 From: Diomidis Spinellis Date: Tue, 17 Apr 2012 10:46:57 +0000 Subject: [PATCH] Add missing @inferdepinpackage --- doc/ceg-infer.xml | 1 + doc/infer.java | 1 + 2 files changed, 2 insertions(+) diff --git a/doc/ceg-infer.xml b/doc/ceg-infer.xml index 01bfc34..e5d1ee6 100644 --- a/doc/ceg-infer.xml +++ b/doc/ceg-infer.xml @@ -13,6 +13,7 @@ import java.util.Arrays; * @opt inferrel * @opt collpackages java.util.* * @opt inferdep + * @opt inferdepinpackage * @opt hide java.* * @hidden */ diff --git a/doc/infer.java b/doc/infer.java index 8d9a34c..0406ecc 100644 --- a/doc/infer.java +++ b/doc/infer.java @@ -12,6 +12,7 @@ import java.util.Arrays; * @opt inferrel * @opt collpackages java.util.* * @opt inferdep + * @opt inferdepinpackage * @opt hide java.* * @hidden */