diff options
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/UnivBackPred2.smt2 | 4 |
1 files changed, 1 insertions, 3 deletions
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)
|