[cbmc/f18: 2/2] Updated to 4.6

[Shakthi Kannan]

commit 80d8911c0bac093f0ed6abe60fa810a1b506eea6
Merge: 8b47a1a 0ce68ae
Author: Shakthi Kannan <skannan at redhat.com>
Date:   Fri Dec 6 17:52:06 2013 +0530

    Updated to 4.6

 cbmc-20130515svn-no-long_width.patch |   26 ++++++++++++++++++++++++++
 cbmc.spec                            |    2 --
 2 files changed, 26 insertions(+), 2 deletions(-)
---
diff --cc cbmc.spec
index 26e6e1e,9edc548..c307465
--- a/cbmc.spec
+++ b/cbmc.spec
@@@ -16,9 -16,12 +16,7 @@@ URL:            http://www.cprover.org/
  #  svn export -r 2441 http://www.cprover.org/svn/cbmc/releases/cbmc-4.3 cbmc-4.3-20130515svn
  # tar czvf cbmc-4.3-20130515svn.tar.gz cbmc-4.3-20130515svn
  Source0:        cbmc-%{version}-%{checkout}.tar.gz
 -Source1:        cbmc-20130515-regression.Makefile
  Patch0:         cbmc-%{checkout}-fix-build.patch
- 
- BuildRequires:  flex
 -Patch1:         cbmc-%{checkout}-regression-test.patch
 -Patch2:         cbmc-%{checkout}-no-long_width.patch
 -
 -BuildRequires:  flex
  BuildRequires:  bison
  BuildRequires:  zlib-devel
  BuildRequires:  minisat2-devel