Cosmetics

criticic · Jan 8, 2022 · 59c9db7 · 59c9db7
1 parent 2164157
commit 59c9db7
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/main.ml b/main.ml
@@ -4582,9 +4582,8 @@ let () =
   );
 
   if !justversion
-  then (
-    Printf.printf "%s\nconfiguration file: %s\n" (Help.version ())
-      !S.confpath;
+  then Printf.(
+    printf "%s\nconfiguration file: %s\n" (Help.version ()) !S.confpath;
     exit 0
   );