diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-05-09 17:22:52 -0700 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-05-09 17:22:52 -0700 |
| commit | 0016df228b3a12fdf68e48f05b41bb7621990c3b (patch) | |
| tree | 9cbd2d7624ce02938397eec92404c4a5d6147893 /Binaries | |
| parent | 51d9bd30cdf3ec7212b06c56acb5cdd1fc1e325c (diff) | |
Don't set logic to UFNIA when /useArrayTheory
Diffstat (limited to 'Binaries')
| -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)
|