332858d56b
prettyprint 0.6 removed printt at the last minute, replace with get_string Fixes bug 995826 Change-Id: I9a25efc3d723ab0208ea88fc6431a95cc9176acb