diff options
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/UnivBackPred2.smt2 | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Binaries/UnivBackPred2.smt2 b/Binaries/UnivBackPred2.smt2 index 97c052c9..d3e3777f 100644 --- a/Binaries/UnivBackPred2.smt2 +++ b/Binaries/UnivBackPred2.smt2 @@ -7,5 +7,3 @@ (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 tickleBool (Bool) Bool)
-(assert (and (tickleBool true) (tickleBool false)))
|