From 0016df228b3a12fdf68e48f05b41bb7621990c3b Mon Sep 17 00:00:00 2001
From: Michal Moskal <michal@moskal.me>
Date: Mon, 9 May 2011 17:22:52 -0700
Subject: Don't set logic to UFNIA when /useArrayTheory

---
 Binaries/UnivBackPred2.smt2 | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Binaries')

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)
-- 
cgit v1.2.3