tree 7e3efbb63556f11870c452b78756fd393db6fd4d
parent c74595a8eb0f0cd122f7688fddfea0070a9c6326
author Steven Glenn Jacobs <sjaco002@ucr.edu> 1494366910 -0700
committer Steven Glenn Jacobs <sjaco002@ucr.edu> 1494366910 -0700

Match plan printing changes from Asterix

Change-Id: I540f4db9c7d645629ffb57e65ba29c5fe8846760