X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexamples%2Finsult.c;h=98c4e6aebae157c63794b3aaf9c2c6e5c33468b7;hb=5f87374724dbb241eb56c55238a29f0b9f82bf95;hp=80acc6e74c7ddbbc143f9238739b13823daa7f9a;hpb=3f1ab89acd506bccd47bf9a3a764f0a9985bdaa7;p=pintos-anon

diff --git a/src/examples/insult.c b/src/examples/insult.c
index 80acc6e..98c4e6a 100644
--- a/src/examples/insult.c
+++ b/src/examples/insult.c
@@ -319,7 +319,7 @@ main (int argc, char *argv[])
           if (handle < 0)
             {
               printf ("%s: open failed\n", argv[i]);
-              return -1;
+              return EXIT_FAILURE;
             }
 	}
       else
@@ -341,7 +341,7 @@ main (int argc, char *argv[])
   if (file_flag)
     close (handle);
 
-  return 0;
+  return EXIT_SUCCESS;
 }
 
 void