1 files changed, 1 insertions, 1 deletions
diff --git a/test/error3.test b/test/error3.test
index 9bd294d..8dfdd82 100644
--- a/test/error3.test
+++ b/test/error3.test
@@ -5,7 +5,7 @@ add a !b
 ERROR: unsatisfiable constraints:
   d-2.0:
     breaks: b-1[d<2.0]
-    satisfies: c-1[d>1.0]
+    satisfies: a-3[d>1.5] c-1[d>1.0]
   b-1:
     breaks: world[!b]
     satisfies: a-3[b]