diff --git a/Tests/NumLib/TestODEInt.cpp b/Tests/NumLib/TestODEInt.cpp
index d0462db7db454d2a68822ad4404c397242174474..5541c4e201ff6e1037130ed689a5af8466b1c32d 100644
--- a/Tests/NumLib/TestODEInt.cpp
+++ b/Tests/NumLib/TestODEInt.cpp
@@ -299,21 +299,13 @@ public:
 
 TYPED_TEST_CASE(NumLibODEIntTyped, TestCases);
 
-#ifndef USE_PETSC
 TYPED_TEST(NumLibODEIntTyped, T1)
-#else
-TYPED_TEST(NumLibODEIntTyped, DISABLED_T1)
-#endif
 {
     TestFixture::test();
 }
 
 
-#ifndef USE_PETSC
 TEST(NumLibODEInt, ODE3)
-#else
-TEST(NumLibODEInt, DISABLED_ODE3)
-#endif
 {
     const char* name = "dummy";
     {