$xml-error ( element -- )

Vocabulary

xml.errors.private

Inputs

element

an object

Outputs

None

Definition

USING: help.markup ;

IN: xml.errors.private

: $xml-error ( element -- )
    "Bad XML document for the error" $heading $code ;