From ac4ff5f8a15b13ac89c700ec24181e1b2d64c91d Mon Sep 17 00:00:00 2001
From: shuvendu <unknown>
Date: Fri, 7 Nov 2014 17:04:54 -0800
Subject: minor fix to test case houdini\testUnsatCore.bpl

---
 Test/houdini/testUnsatCore.bpl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test')

diff --git a/Test/houdini/testUnsatCore.bpl b/Test/houdini/testUnsatCore.bpl
index 4b9fb33b..9c7ef8ad 100644
--- a/Test/houdini/testUnsatCore.bpl
+++ b/Test/houdini/testUnsatCore.bpl
@@ -1,4 +1,4 @@
-// RUN: %boogie -noinfer -contractInfer -printAssignment -useUnsatCoreForContractInfer -Trace "%s" > "%t"
+// RUN: %boogie -noinfer -contractInfer -printAssignment -useUnsatCoreForContractInfer "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 var g: bool;
 
-- 
cgit v1.2.3