summaryrefslogtreecommitdiff
path: root/testsuite/tests/dph
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/dph')
-rw-r--r--testsuite/tests/dph/diophantine/dph-diophantine.T1
1 files changed, 0 insertions, 1 deletions
diff --git a/testsuite/tests/dph/diophantine/dph-diophantine.T b/testsuite/tests/dph/diophantine/dph-diophantine.T
index 34bf0e9ddb..036c594e72 100644
--- a/testsuite/tests/dph/diophantine/dph-diophantine.T
+++ b/testsuite/tests/dph/diophantine/dph-diophantine.T
@@ -1,7 +1,6 @@
test ('dph-diophantine-copy-opt'
, [ alone
- , expect_broken(5817)
, skip_if_fast
, reqlib('dph-lifted-copy')
, reqlib('dph-prim-par')