From a9a2fe4949ed047117a1e116d24bcfb022f0881e Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Tue, 15 Feb 2011 21:39:45 +0000
Subject: Workaround bug in Z3 SMT parser

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

(limited to 'Binaries')

diff --git a/Binaries/UnivBackPred2.smt2 b/Binaries/UnivBackPred2.smt2
index 1cfe5356..33c82099 100644
--- a/Binaries/UnivBackPred2.smt2
+++ b/Binaries/UnivBackPred2.smt2
@@ -5,10 +5,10 @@
 (set-logic UFNIA)
 (set-info :smt-lib-version 2.0)
 (set-info :category "industrial")
-(declare-sort T@U 0)
-(declare-sort T@T 0)
+(declare-sort |T@U| 0)
+(declare-sort |T@T| 0)
 (declare-fun int_div (Int Int) Int)
 (declare-fun int_mod (Int Int) Int)
-(declare-fun UOrdering2 (T@U T@U) Bool)
-(declare-fun UOrdering3 (T@T T@U T@U) Bool)
+(declare-fun UOrdering2 (|T@U| |T@U|) Bool)
+(declare-fun UOrdering3 (|T@T| |T@U| |T@U|) Bool)
 
-- 
cgit v1.2.3