From e6136eaaf54ed15ec5a13fa94448287bcaf30538 Mon Sep 17 00:00:00 2001
From: kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>
Date: Sat, 14 Jun 2014 15:24:06 +0000
Subject: [PATCH] fix for enum values

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4030 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
---
 src/ansi-c-with-declarators/ansi_c_convert.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ansi-c-with-declarators/ansi_c_convert.cpp b/src/ansi-c-with-declarators/ansi_c_convert.cpp
index 290f6a095e..e119ba9165 100644
--- a/src/ansi-c-with-declarators/ansi_c_convert.cpp
+++ b/src/ansi-c-with-declarators/ansi_c_convert.cpp
@@ -472,6 +472,7 @@ void ansi_c_convertt::convert_type(
 
         convert_type(declaration.type());
         convert_type(declaration.declarator().type());
+        convert_expr(declaration.declarator().value());
       }
       else
         throw "unexpected enum constant during conversion: "+it->id_string();