From cb25b09cffb921bd77773977894742b119f8e381 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Rativel?=
 <remi.rativel@etudiant.univ-rennes1.fr>
Date: Wed, 5 Apr 2023 14:52:46 +0200
Subject: [PATCH] Documentation

---
 userlib/syscall.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/userlib/syscall.rs b/userlib/syscall.rs
index 0615261..94c7c44 100644
--- a/userlib/syscall.rs
+++ b/userlib/syscall.rs
@@ -39,7 +39,7 @@ pub struct CondId{
 
 extern "C" {
 
-    ///Stop Nachos, and print out performance stats
+    ///Stop BurritOS, and print out performance stats
     fn Shutdown() -> ();
 
     /// Return the time spent running BurritOS