aboutsummaryrefslogtreecommitdiffstats
path: root/bin/server.ml
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-04-27 23:29:57 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-04-27 23:29:57 -0300
commit4fdf3392868c72ff4c33b70d165a177e97f2fece (patch)
tree4eebfc260c890ea56d59f874cdfa0c9b1f55cd98 /bin/server.ml
parent97960adb8426e5270fe16b027e82a2c61674f821 (diff)
downloadSakura-4fdf3392868c72ff4c33b70d165a177e97f2fece.tar.gz
Sakura-4fdf3392868c72ff4c33b70d165a177e97f2fece.zip
Format
Diffstat (limited to '')
-rw-r--r--bin/server.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/server.ml b/bin/server.ml
index 2423c37..c2a4957 100644
--- a/bin/server.ml
+++ b/bin/server.ml
@@ -3,7 +3,7 @@ open Relational_engine
let () =
if Array.length Sys.argv <> 2 then begin
Printf.eprintf "Usage: %s <config-file>\n%!" Sys.argv.(0);
- exit 1;
+ exit 1
end;
match System.run_from_config Sys.argv.(1) with
| Error e ->