diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-02 14:11:18 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-02 14:11:18 -0500 |
| commit | 1c98f161a0e110b52e1000e731e0fc7bcb4d31b0 (patch) | |
| tree | 9a7a5b5d9c691037e497e7f105a998d087ebfe47 /tests/transactional.urs | |
| parent | 00fb3b3036bf009aedc31df4ea86bc6e00cd2fa4 (diff) | |
Instantiate any Unit unification variables that remain after elaboration
Diffstat (limited to 'tests/transactional.urs')
0 files changed, 0 insertions, 0 deletions