None, "NTactic error: " ^ Lazy.force msg
| NTacStatus.Error (msg,Some exn) ->
None, "NTactic error: " ^ Lazy.force msg ^ "\n" ^ snd(to_string exn)
None, "NTactic error: " ^ Lazy.force msg
| NTacStatus.Error (msg,Some exn) ->
None, "NTactic error: " ^ Lazy.force msg ^ "\n" ^ snd(to_string exn)