diff options
Diffstat (limited to 'lib/rpmps.c')
| -rw-r--r-- | lib/rpmps.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/lib/rpmps.c b/lib/rpmps.c index fde4b82e8..75b5cd910 100644 --- a/lib/rpmps.c +++ b/lib/rpmps.c @@ -7,14 +7,13 @@ #include <rpmlib.h> #include "rpmps.h" -#include "rpmts.h" #include "misc.h" #include "debug.h" -/*@access fnpyKey@*/ -/*@access rpmProblem@*/ -/*@access rpmProblemSet@*/ +/*@access fnpyKey @*/ +/*@access rpmProblem @*/ +/*@access rpmps @*/ /*@unchecked@*/ static int _ps_debug = 0; |