summaryrefslogtreecommitdiff
path: root/Binaries/UnivBackPred2.smt2
diff options
context:
space:
mode:
Diffstat (limited to 'Binaries/UnivBackPred2.smt2')
-rw-r--r--Binaries/UnivBackPred2.smt21
1 files changed, 0 insertions, 1 deletions
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.