diff --git a/utils/pintos b/utils/pintos
index 042f2a687433366a2fec37a0a5c0c7923996cee3..53942f2427d78512a635eef98ffef3adb9293f56 100755
--- a/utils/pintos
+++ b/utils/pintos
@@ -929,6 +929,9 @@ sub exec_setitimer {
     exit (1);
 }
 
+# This subroutine has been commented out because otherwise if it is not then
+# Pintos will refuse to run at all once the code for putting arguments into
+# the stack is added
 #sub SIGVTALRM {
 #    use Config;
 #    my $i = 0;