tree ed836b9c05c2d99ee38fce9ca90f863153c21e77
parent cee50b7572e4416f5aa7a2a6068543c1e5cd04a9
author Philip Miller <philip.miller@sri.com> 1475694248 -0400
committer Philip Miller <philip.miller@sri.com> 1475694248 -0400

Document use of format_arg for user-defined type