diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-06-10T10·29+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-06-10T10·29+0000 |
| commit | f16fe2af8d59fef156c29077a240a832d3e60ef2 (patch) | |
| tree | e76a9db974af45eb58015aa638f0ce170f2565e7 /make/lib | |
| parent | 07ca66cf242eef3c7a6396e9353e48037034498b (diff) | |
* builtins.toXML: propagate the string context. This is a regression
from the old ATerm-based evaluator.
Diffstat (limited to 'make/lib')
0 files changed, 0 insertions, 0 deletions