diff options
Diffstat (limited to 'Binaries/UnivBackPred2.smt2')
-rw-r--r-- | Binaries/UnivBackPred2.smt2 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Binaries/UnivBackPred2.smt2 b/Binaries/UnivBackPred2.smt2 index 06b307fe..97c052c9 100644 --- a/Binaries/UnivBackPred2.smt2 +++ b/Binaries/UnivBackPred2.smt2 @@ -1,7 +1,6 @@ ; Boogie universal background predicate
; Copyright (c) 2004-2010, Microsoft Corp.
(set-info :category "industrial")
-(set-logic UFNIA)
(declare-sort |T@U| 0)
(declare-sort |T@T| 0)
(declare-fun int_div (Int Int) Int)
|