diff options
| -rw-r--r-- | lib/xmerl/src/xmerl_xpath.erl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/xmerl/src/xmerl_xpath.erl b/lib/xmerl/src/xmerl_xpath.erl index 40ba48b357..d9dae7c53f 100644 --- a/lib/xmerl/src/xmerl_xpath.erl +++ b/lib/xmerl/src/xmerl_xpath.erl @@ -306,6 +306,10 @@ write_node(#xmlNode{pos = Pos, write_node(#xmlNode{pos = Pos, node = #xmlComment{parents = Ps}}) -> {comment, Pos, '', Ps}; +write_node(#xmlNode{pos = Pos, + node = #xmlPI{name = Name, + parents = Ps}}) -> + {processing_instruction, Pos, Name, Ps}; write_node(_) -> other. |