X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_pause.c;h=be445dbb5a0dae37cfa87fe9e1647b2fa63ecb2c;hb=95a09f3e974f23d8e3d20b3a333f5c07631be17d;hp=193ba57f4f8547ccdf10617757ca2ebaa089b19d;hpb=035ac752dc4e0eda744205896a9c7c92689bea42;p=palacios.git

diff --git a/linux_usr/v3_pause.c b/linux_usr/v3_pause.c
index 193ba57..be445db 100644
--- a/linux_usr/v3_pause.c
+++ b/linux_usr/v3_pause.c
@@ -27,7 +27,7 @@ int main(int argc, char* argv[]) {
 	return -1;
     }
 
-    printf("Stopping VM\n");
+    printf("Pausing VM\n");
     
     vm_fd = open(filename, O_RDONLY);