diff options
Diffstat (limited to '')
| -rw-r--r-- | testsuites/ada/mptests/mp08/mptest.ads (renamed from c/src/ada-tests/mptests/mp08/mptest.ads) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/c/src/ada-tests/mptests/mp08/mptest.ads b/testsuites/ada/mptests/mp08/mptest.ads index 07df76322e..07df76322e 100644 --- a/c/src/ada-tests/mptests/mp08/mptest.ads +++ b/testsuites/ada/mptests/mp08/mptest.ads |