remove debug line

diff --git a/xenops/domain.ml b/xenops/domain.ml
index 3ec28fe3e54ced6cc31c4d771e3843503a7d86ce..6d4f67e53713d3a9eb49f4595d72dee2ef9f3f63 100644 (file)
--- 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