diff options
author | 2009-12-12 14:51:10 -0500 | |
---|---|---|
committer | 2009-12-12 14:51:10 -0500 | |
commit | 0a168e5f39165bd9e462813866c9a25dc2d6b688 (patch) | |
tree | 4c48413e12978d861257f204e8849034f2447c07 /lib/ur/basis.urs | |
parent | 84e471e64566698a5489810836b6ec80824d3e46 (diff) |
Fix lexing of string literals in XML; treat EError as impure in MonoReduce
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions