From f2ee8690addf0aa52b5de2061fe6d659574406f9 Mon Sep 17 00:00:00 2001 From: Frans Kaashoek Date: Wed, 17 Aug 2022 20:38:11 -0400 Subject: [PATCH] x --- user/user.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/user/user.h b/user/user.h index 8ac6395..4d398d5 100644 --- a/user/user.h +++ b/user/user.h @@ -9,7 +9,7 @@ int write(int, const void*, int); int read(int, void*, int); int close(int); int kill(int); -int exec(char*, char**); +int exec(const char*, char**); int open(const char*, int); int mknod(const char*, short, short); int unlink(const char*);