X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=globals.ml;h=4c040571b9994f71ad8fab010079a85e2355598c;hb=acbdd1601fcfb161089d326e7e32b74b76f441e3;hp=2dd7fe9ab2597604ccf046d35b6b95d2873f053d;hpb=ff59db26ff8e6f8ba6969ed93bb4cca88a3b7c2d;p=vsys.git

diff --git a/globals.ml b/globals.ml
index 2dd7fe9..4c04057 100644
--- a/globals.ml
+++ b/globals.ml
@@ -10,7 +10,6 @@ let failsafe = ref false
 
 let logfd = open_out_gen [Open_append;Open_creat] 0o644 !log_filepath
 type result = Success | Failed
-
 type fname_and_fd = string option * Unix.file_descr
 
 (* Relative path, never precededed by a '/' *)