Merge pull request #238 from danpoe/json-bug

Daniel Kroening · web-flow · commit 4576dafc4ce7 · 2016-09-24T20:56:20.000+01:00
json struct bugfix
diff --git a/src/util/json_expr.cpp b/src/util/json_expr.cpp
@@ -131,8 +131,8 @@ json_objectt json(
   {
     result["name"]=json_stringt("struct");
     json_arrayt &members=result["members"].make_array();
-    const union_typet::componentst &components=
-      to_union_type(type).components();
+    const struct_typet::componentst &components=
+      to_struct_type(type).components();
     for(const auto & it : components)
     {
       json_objectt &e=members.push_back().make_object();

Original file line number	Diff line number	Diff line change
`@@ -131,8 +131,8 @@ json_objectt json(`
`131`	`131`	`{`
`132`	`132`	`result["name"]=json_stringt("struct");`
`133`	`133`	`json_arrayt &members=result["members"].make_array();`
`134`		`- const union_typet::componentst &components=`
`135`		`- to_union_type(type).components();`
	`134`	`+ const struct_typet::componentst &components=`
	`135`	`+ to_struct_type(type).components();`
`136`	`136`	`for(const auto & it : components)`
`137`	`137`	`{`
`138`	`138`	`json_objectt &e=members.push_back().make_object();`