diff options
Diffstat (limited to 'stm/spawned.ml')
| -rw-r--r-- | stm/spawned.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stm/spawned.ml b/stm/spawned.ml index 18159288..a8372195 100644 --- a/stm/spawned.ml +++ b/stm/spawned.ml @@ -81,6 +81,7 @@ let init_channels () = let get_channels () = match !channels with - | None -> Errors.anomaly(Pp.str "init_channels not called") + | None -> + Printf.eprintf "Fatal error: ideslave communication channels not set.\n"; + exit 1 | Some(ic, oc) -> ic, oc - |