let protect_warning e =
  let (src,reason) = protect e in Warning(src,reason)