diff options
Diffstat (limited to '')
| -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 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 -> |