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

@@ -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();