enable 802 and 803

diff --git a/tests/data/DISABLED b/tests/data/DISABLED
index c65cdd90b9470e64113fcc9c92c942bd8e09f06b..329f27c96cb420a6e9ec63037ea6c117aa6ac059 100644 (file)
--- a/tests/data/DISABLED
+++ b/tests/data/DISABLED
@@ -5,5 +5,3 @@
 # Lines starting with '#' letters are treated as comments.
 563
 564
-802
-803