diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 23:01:03 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 23:01:03 -0300 |
| commit | 818b77f04452c7cb8d7cb4e77c23312901e5a4bd (patch) | |
| tree | dea3d25643f9c0f4256fca125b83d277a1068719 /bin/server.ml | |
| parent | 320954996e921d7b34eb61f462799b5c6ab8ee09 (diff) | |
| download | Sakura-818b77f04452c7cb8d7cb4e77c23312901e5a4bd.tar.gz Sakura-818b77f04452c7cb8d7cb4e77c23312901e5a4bd.zip | |
listener working under RNT with a minimal drl
Diffstat (limited to 'bin/server.ml')
| -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 64c4594..2a47cdb 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%!" (Condition.to_string e); + Printf.eprintf "Couldn't initialize: %s\n%!" (Condition.to_string_hum e); exit 1 | Ok run -> run () |