diff options
| -rw-r--r-- | test/stubs/org/checkerframework/checker/calledmethods/qual/CalledMethods.java (renamed from test/stubs/org/checkerframework/checker/objectconstruction/qual/CalledMethods.java) | 0 | ||||
| -rw-r--r-- | test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java (renamed from test/stubs/org/checkerframework/checker/objectconstruction/qual/NotCalledMethods.java) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/test/stubs/org/checkerframework/checker/objectconstruction/qual/CalledMethods.java b/test/stubs/org/checkerframework/checker/calledmethods/qual/CalledMethods.java index 514e8c6b..514e8c6b 100644 --- a/test/stubs/org/checkerframework/checker/objectconstruction/qual/CalledMethods.java +++ b/test/stubs/org/checkerframework/checker/calledmethods/qual/CalledMethods.java diff --git a/test/stubs/org/checkerframework/checker/objectconstruction/qual/NotCalledMethods.java b/test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java index 7a9ef37c..7a9ef37c 100644 --- a/test/stubs/org/checkerframework/checker/objectconstruction/qual/NotCalledMethods.java +++ b/test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java |