From 6873de1e22575d6d227b26ead84621d0fe4cab04 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Thu, 17 Feb 2011 18:59:50 +0000
Subject: Make it possible to run Z3 on pipe; use generic PROVER_LOG options

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

(limited to 'Binaries')

diff --git a/Binaries/UnivBackPred2.smt2 b/Binaries/UnivBackPred2.smt2
index 33c82099..4490d2cb 100644
--- a/Binaries/UnivBackPred2.smt2
+++ b/Binaries/UnivBackPred2.smt2
@@ -1,4 +1,3 @@
-; -------------------------------------------------------------------------
 ; Boogie universal background predicate
 ; Copyright (c) 2004-2010, Microsoft Corp.
 
-- 
cgit v1.2.3