summaryrefslogtreecommitdiffstats
path: root/virt-df/virt_df.mli
diff options
context:
space:
mode:
Diffstat (limited to 'virt-df/virt_df.mli')
-rw-r--r--virt-df/virt_df.mli4
1 files changed, 1 insertions, 3 deletions
diff --git a/virt-df/virt_df.mli b/virt-df/virt_df.mli
index d40c934..f3d20a7 100644
--- a/virt-df/virt_df.mli
+++ b/virt-df/virt_df.mli
@@ -21,9 +21,6 @@
used throughout the plug-ins and main code.
*)
-val debug : bool
-(** If true, emit logs of debugging information to stderr. *)
-
val ( +* ) : int32 -> int32 -> int32
val ( -* ) : int32 -> int32 -> int32
val ( ** ) : int32 -> int32 -> int32
@@ -34,6 +31,7 @@ val ( *^ ) : int64 -> int64 -> int64
val ( /^ ) : int64 -> int64 -> int64
(** int32 and int64 infix operators for convenience. *)
+val debug : bool ref (** If true, emit debug info to stderr*)
val uri : string option ref (** Hypervisor/libvirt URI. *)
val inodes : bool ref (** Display inodes. *)
val human : bool ref (** Display human-readable. *)