diff options
| author | Hugo Herbelin | 2014-11-03 20:02:44 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-11-03 20:43:16 +0100 |
| commit | 9a6e94199b4df828f160e4a107debd7cb16e66bc (patch) | |
| tree | af0316b9841ed92c173be075fae39921bb9893cd /lib/xml_parser.ml | |
| parent | 71c56620314bc28c6d7a643a2174518e74da6d50 (diff) | |
Now that evars can be parsed, protect strongly Check from calling kernel with evars.
Diffstat (limited to 'lib/xml_parser.ml')
0 files changed, 0 insertions, 0 deletions