-#ifndef HEADER_ADDRSPACE_H
-#define HEADER_ADDRSPACE_H 1
+#ifndef USERPROG_ADDRSPACE_H
+#define USERPROG_ADDRSPACE_H
#include <stdbool.h>
void addrspace_destroy (struct thread *);
void addrspace_activate (struct thread *);
-#endif /* addrspace.h */
+#endif /* userprog/addrspace.h */