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

[Shakthi Kannan]

commit 1dc4fd96e123358b8cf9b9c9ba32768a26ea5707
Merge: 2c74dad 84dbbe5
Author: Shakthi Kannan <skannan at redhat.com>
Date:   Fri Dec 6 17:54:45 2013 +0530

    Updated to 4.6

 cbmc-20130515svn-no-long_width.patch |   26 ++++++++++++++++++++++++++
 cbmc.spec                            |    1 -
 2 files changed, 26 insertions(+), 1 deletions(-)
---
diff --cc cbmc.spec
index 26e6e1e,9edc548..673caa6
--- a/cbmc.spec
+++ b/cbmc.spec
@@@ -16,8 -16,11 +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
- 
 -Patch1:         cbmc-%{checkout}-regression-test.patch
 -Patch2:         cbmc-%{checkout}-no-long_width.patch
 -
  BuildRequires:  flex
  BuildRequires:  bison
  BuildRequires:  zlib-devel