From 818b77f04452c7cb8d7cb4e77c23312901e5a4bd Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 26 Sep 2026 23:01:03 -0300
Subject: listener working under RNT with a minimal drl

---
 bin/server.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin')

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 ()
-- 
cgit v1.2.3