ryates@cs.rochester.edu authored Apr 08, 2013 and ian@well-typed.com committed Apr 17, 2013

This test differes slightly from the code in the ticket, but the
simplification betters the chances of seeing the error.  Instead of
looking for the error with an additional tranaction, when error appears
only one `reset` can complete and the other is blocked on STM raising an
exception.