lint symbol.cpp

Chris Ryder · Chris Ryder · commit 25b53393b712 · 2019-01-11T23:41:11.000Z
diff --git a/src/util/symbol.cpp b/src/util/symbol.cpp
@@ -152,7 +152,8 @@ bool symbolt::is_well_formed() const
       // Typedefs
       if(type.find(ID_C_typedef).is_not_nil())
       {
-        // FIXME: Is there an additional check that can be made here, like for tag types below?
+        // FIXME: Is there an additional check that can be made here,
+        //        like for tag types below?
         criterion_must_hold = false;
       }
 

Original file line number	Diff line number	Diff line change
`@@ -152,7 +152,8 @@ bool symbolt::is_well_formed() const`
`152`	`152`	`// Typedefs`
`153`	`153`	`if(type.find(ID_C_typedef).is_not_nil())`
`154`	`154`	`{`
`155`		`- // FIXME: Is there an additional check that can be made here, like for tag types below?`
	`155`	`+ // FIXME: Is there an additional check that can be made here,`
	`156`	`+ // like for tag types below?`
`156`	`157`	`criterion_must_hold = false;`
`157`	`158`	`}`
`158`	`159`