From 0fca8daeb1a507426417a61b189fac5d8f9c4951 Mon Sep 17 00:00:00 2001 From: Olivier Ligot Date: Thu, 11 Jul 2013 16:46:38 +0200 Subject: [PATCH] Tests compile again (fixes #63) --- tests/all-safe.ecf | 2 -- tests/all-stable-safe.ecf | 3 --- 2 files changed, 5 deletions(-) diff --git a/tests/all-safe.ecf b/tests/all-safe.ecf index 2fcb5f33..8115909e 100644 --- a/tests/all-safe.ecf +++ b/tests/all-safe.ecf @@ -12,7 +12,6 @@ - @@ -22,7 +21,6 @@ - diff --git a/tests/all-stable-safe.ecf b/tests/all-stable-safe.ecf index 3af09a8a..eb3bf311 100644 --- a/tests/all-stable-safe.ecf +++ b/tests/all-stable-safe.ecf @@ -10,8 +10,6 @@ - - @@ -21,7 +19,6 @@ -