From 027b0d92ed236fa24f211e053e81189cddffe7d7 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 16 Apr 2008 08:15:56 +0100
Subject: Make debug selectable at runtime.

---
 virt-df/virt_df.mli | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'virt-df/virt_df.mli')

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. *)
-- 
cgit