Enable getting the top-level transaction's ActiveTxRecord
commit18a1aefa85e4a81ce84f6c3672dcfe526ba1a7ec
authorSérgio Miguel Fernandes <sergio.fernandes@ist.utl.pt>
Mon, 24 Jun 2013 17:30:46 +0000 (24 18:30 +0100)
committerSérgio Miguel Fernandes <sergio.fernandes@ist.utl.pt>
Wed, 26 Jun 2013 10:36:20 +0000 (26 11:36 +0100)
tree0c5c51daa08621373f3c97f1994acffcfeee7132
parent67e2c91b8acfae268a8877872130a5ab49c1ccd4
Enable getting the top-level transaction's ActiveTxRecord
src/main/java/jvstm/TopLevelTransaction.java