summaryrefslogtreecommitdiff
path: root/tests/transactional.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-02 14:11:18 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-02 14:11:18 -0500
commit1c98f161a0e110b52e1000e731e0fc7bcb4d31b0 (patch)
tree9a7a5b5d9c691037e497e7f105a998d087ebfe47 /tests/transactional.urs
parent00fb3b3036bf009aedc31df4ea86bc6e00cd2fa4 (diff)
Instantiate any Unit unification variables that remain after elaboration
Diffstat (limited to 'tests/transactional.urs')
0 files changed, 0 insertions, 0 deletions