From 34dd747b749fa87f82973495ada645c2c81a3e93 Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Tue, 14 Aug 2012 19:27:35 +0100
Subject: Update test suite for commit 8a59fbb7ee34.

---
 Test/smoke/Answer | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/smoke')

diff --git a/Test/smoke/Answer b/Test/smoke/Answer
index de255422..98cff8d2 100644
--- a/Test/smoke/Answer
+++ b/Test/smoke/Answer
@@ -9,7 +9,7 @@ implementation b(x: int)
     goto anon3_Then;
 
   anon3_Then:
-    assume x < 0;
+    assume {:partition} x < 0;
     y := 1;
     assert false;
     return;
-- 
cgit v1.2.3