diff --git a/src/hyperlight_host/src/hypervisor/gdb/mod.rs b/src/hyperlight_host/src/hypervisor/gdb/mod.rs
index 74d6fc2c..3d72c1d5 100644
--- a/src/hyperlight_host/src/hypervisor/gdb/mod.rs
+++ b/src/hyperlight_host/src/hypervisor/gdb/mod.rs
@@ -68,7 +68,7 @@ pub trait GdbDebug: Target {
 
     /// Marks the vCPU as paused
     fn pause_vcpu(&mut self);
-    /// Resumes the vCPU 
+    /// Resumes the vCPU
     fn resume_vcpu(&mut self) -> Result<(), <Self as Target>::Error>;
     /// Returns the reason why vCPU stopped
     #[allow(clippy::type_complexity)]