X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=globals.ml;fp=globals.ml;h=4323b3a0a31b5d601825eae479478d0417f69052;hb=892d26d4e05de55ae94d21a586e6a0bfa724e327;hp=8b006c3b9fb897d9601208313998f48641daceec;hpb=a9f606051125de2acc9140074f91054755fa67b4;p=vsys.git diff --git a/globals.ml b/globals.ml index 8b006c3..4323b3a 100644 --- a/globals.ml +++ b/globals.ml @@ -2,7 +2,7 @@ let backend = ref "" let debug = ref true let vsys_version = "0.5" -type fd_and_fname = string option * Unix.file_descr +type fname_and_fd = string option * Unix.file_descr (* Relative path, never precededed by a '/' *) type relpath = Relpath of string