Bug fixed: when an axiom was asked, an exception was raised (since the

[helm.git] / helm / DEVEL / profile-manager / response.ml

let quote_attribute s = s

let quote s = s

let error s = "<error>" ^ (quote s) ^ "</error>"

let ok () = "<ok/>"