Fixing relevant lint errors

thk123 · thk123 · commit 7c1aeb4e17aa · 2017-03-28T18:00:34.000+01:00
diff --git a/src/ansi-c/ansi_c_declaration.cpp b/src/ansi-c/ansi_c_declaration.cpp
@@ -148,7 +148,7 @@ typet ansi_c_declarationt::full_type(
 
   // retain typedef for dump-c
   if(get_is_typedef())
-    result.set(ID_C_typedef,declarator.get_name());
+    result.set(ID_C_typedef, declarator.get_name());
 
   return result;
 }

Original file line number	Diff line number	Diff line change
`@@ -148,7 +148,7 @@ typet ansi_c_declarationt::full_type(`
`148`	`148`
`149`	`149`	`// retain typedef for dump-c`
`150`	`150`	`if(get_is_typedef())`
`151`		`- result.set(ID_C_typedef,declarator.get_name());`
	`151`	`+ result.set(ID_C_typedef, declarator.get_name());`
`152`	`152`
`153`	`153`	`return result;`
`154`	`154`	`}`