tree 7ffc63413d014458c20e2a066a61a9e60806cf8d
parent d2dc8cffaa638d37f9cb368621cac880859bb41d
author Barret Rhoden <brho@cs.berkeley.edu> 1484342154 -0500
committer Barret Rhoden <brho@cs.berkeley.edu> 1484751602 -0500

Use fprintf() for printing user TFs

This allows us to consolidate similar TF-printing code, and in the case of
the VM, see more info.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>