diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-21 13:57:12 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-21 13:57:12 -0500 |
| commit | bc42b77787363bf9f1592f7696223cccb4b9381d (patch) | |
| tree | 726849a873ace28524bff624b3ab08e6dda1286e /tests/reactive3.ur | |
| parent | 0ecaa53f8c3951d695a4379dd1b353863749963a (diff) | |
Hopeful fix to stop Especialize infinite looping
Diffstat (limited to 'tests/reactive3.ur')
0 files changed, 0 insertions, 0 deletions