X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=globals.ml;fp=globals.ml;h=ed147cf92d4aee926bceef09ce201d4c30395ec8;hb=8ed94d4c37a320acc03f1f3f6523201b42202f00;hp=4323b3a0a31b5d601825eae479478d0417f69052;hpb=86fd747228605ac982394426c8b65c4a327f0b1f;p=vsys.git

diff --git a/globals.ml b/globals.ml
index 4323b3a..ed147cf 100644
--- a/globals.ml
+++ b/globals.ml
@@ -2,6 +2,8 @@ let backend = ref ""
 let debug = ref true
 let vsys_version = "0.5"
 
+type result = Success | Failed
+
 type fname_and_fd = string option * Unix.file_descr
 
 (* Relative path, never precededed by a '/' *)