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 /externals/Makefile.am | |
parent | 07ca66cf242eef3c7a6396e9353e48037034498b (diff) |
* builtins.toXML: propagate the string context. This is a regression
from the old ATerm-based evaluator.
Diffstat (limited to 'externals/Makefile.am')
0 files changed, 0 insertions, 0 deletions