diff options
| -rw-r--r-- | test/files/run/exceptions.check | 1 | ||||
| -rw-r--r-- | test/files/run/mics1.check | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/test/files/run/exceptions.check b/test/files/run/exceptions.check new file mode 100644 index 0000000000..b959df29ed --- /dev/null +++ b/test/files/run/exceptions.check @@ -0,0 +1 @@ +ok: lookup(2000) = KO diff --git a/test/files/run/mics1.check b/test/files/run/mics1.check deleted file mode 100644 index e69276db20..0000000000 --- a/test/files/run/mics1.check +++ /dev/null @@ -1 +0,0 @@ -lookup(2000) = key 2000 not found |