diff options
Diffstat (limited to 'Binaries/UnivBackPred2.smt2')
-rw-r--r-- | Binaries/UnivBackPred2.smt2 | 1 |
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.
|