Don't print output for triple faults.
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 20 Jun 2005 22:55:59 +0000 (22:55 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 20 Jun 2005 22:55:59 +0000 (22:55 +0000)

No differences found