From: Vincent Hanquez <vincent.hanquez@eu.citrix.com>
Date: Mon, 15 Jun 2009 17:43:38 +0000 (+0100)
Subject: remove debug line
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=0016a7fc4098f52717cacc333b8a799f1c44591d;p=xenclient%2Ftoolstack.git

remove debug line
---

diff --git a/xenops/domain.ml b/xenops/domain.ml
index 3ec28fe..6d4f67e 100644
--- a/xenops/domain.ml
+++ b/xenops/domain.ml
@@ -374,7 +374,6 @@ let create_channels ~xc domid =
 
 (* pre build *)
 let build_pre ~xc ~xs ~vcpus ~mem_max_kib ~shadow_kib ~video_ram_kib ~timer_mode ~hpet ~vpt_align domid =
-	let shadow_kib : int64 option = shadow_kib in
 	let shadow_mib : int option =
 		match shadow_kib with
 		| None     -> None