diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/server.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/server.ml b/bin/server.ml index c2a4957..64c4594 100644 --- a/bin/server.ml +++ b/bin/server.ml @@ -7,6 +7,6 @@ let () = end; match System.run_from_config Sys.argv.(1) with | Error e -> - Printf.eprintf "Couldn't initialize: %s\n%!" e; + Printf.eprintf "Couldn't initialize: %s\n%!" (Condition.to_string e); exit 1 | Ok run -> run () |