From 424e3a644f8091dc403cf1bf471276963a71f2cd Mon Sep 17 00:00:00 2001
From: kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>
Date: Sun, 3 Feb 2013 15:59:19 +0000
Subject: [PATCH] comment

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@2055 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
---
 src/cpp/parse.cpp | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/cpp/parse.cpp b/src/cpp/parse.cpp
index 1f922fc4bf..2475294f37 100644
--- a/src/cpp/parse.cpp
+++ b/src/cpp/parse.cpp
@@ -1967,15 +1967,18 @@ bool Parser::rDeclarators(
 /*
   declarator.with.init
   : ':' expression
-  | declarator {'=' initialize.expr | ':' expression}
+  | declarator 
+    {'=' initialize.expr | 
+     ':' expression}
 */
 bool Parser::rDeclaratorWithInit(
   cpp_declaratort &dw,
   bool should_be_declarator,
   bool is_statement)
 {
-  if(lex->LookAhead(0)==':') // anonymous bit field
+  if(lex->LookAhead(0)==':')
   {
+    // This is an anonymous bit field.
     Token tk;
     lex->GetToken(tk);
 
@@ -2013,6 +2016,7 @@ bool Parser::rDeclaratorWithInit(
       // initializer
       Token tk;
       lex->GetToken(tk);
+      
       if(!rInitializeExpr(declarator.value()))
         return false;