diff options
| author | Daniil Baturin <daniil@baturin.org> | 2016-12-23 03:05:49 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2016-12-23 03:05:49 +0700 |
| commit | 19b0b3effbcfd073b46c7f00f49062cc83e2936f (patch) | |
| tree | fc50bc7c5503128bcc8e797edfbb8ebc0760f0fd /src/util.mli | |
| parent | 3624972bc7ba2c6d7fb789549a1343c0881f4871 (diff) | |
| download | vyconf-19b0b3effbcfd073b46c7f00f49062cc83e2936f.tar.gz vyconf-19b0b3effbcfd073b46c7f00f49062cc83e2936f.zip | |
Handle Xml exceptions in Reference_tree.load_from_xml and re-raise as Bad_interface_definition
to make things simpler for callers.
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions