From 6b85a0f0d4f88b6ad57812175354acf3a2947a0e Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Thu, 17 Feb 2011 19:00:30 +0000
Subject: Provide /p: as the short form of /proverOpt:. Add /p:O:<name>=<value>
 and /p:C:<solver-argument> prover options in SMT. Add default Z3 options when
 using Z3.

---
 Binaries/UnivBackPred2.smt2 | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'Binaries')

diff --git a/Binaries/UnivBackPred2.smt2 b/Binaries/UnivBackPred2.smt2
index 4490d2cb..ee553a98 100644
--- a/Binaries/UnivBackPred2.smt2
+++ b/Binaries/UnivBackPred2.smt2
@@ -1,9 +1,7 @@
 ; Boogie universal background predicate
 ; Copyright (c) 2004-2010, Microsoft Corp.
-
-(set-logic UFNIA)
-(set-info :smt-lib-version 2.0)
 (set-info :category "industrial")
+(set-logic UFNIA)
 (declare-sort |T@U| 0)
 (declare-sort |T@T| 0)
 (declare-fun int_div (Int Int) Int)
-- 
cgit v1.2.3