diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-05-30 09:31:50 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-05-30 09:31:50 -0400 |
| commit | 7281024b45db2ddcc54cf6257fe5559b9b07aa93 (patch) | |
| tree | fbcc9d6f1fc4ec715af7af96f489195487cc4fc0 /tests/float.urs | |
| parent | 62abdfd0a23e35cbb1415ff48a0af3da9d702880 (diff) | |
Fix bug with string literals in unAs
Diffstat (limited to 'tests/float.urs')
0 files changed, 0 insertions, 0 deletions