Disable tests 802 and 803

diff --git a/tests/data/DISABLED b/tests/data/DISABLED
index e3a9130f6aa4f1bb3232197fc6fc765cc2d42829..0281ce2964d831dbb06b218d483e6dc36d9822ca 100644 (file)
--- a/tests/data/DISABLED
+++ b/tests/data/DISABLED
@@ -5,4 +5,6 @@
 # Lines starting with '#' letters are treated as comments.
 563
 564
+802
+803