make sure to only instance SfaFault with a general fault, not another SfaFault
authorTony Mack <tmack@cs.princeton.edu>
Thu, 22 Jul 2010 20:27:16 +0000 (20:27 +0000)
committerTony Mack <tmack@cs.princeton.edu>
Thu, 22 Jul 2010 20:27:16 +0000 (20:27 +0000)

No differences found