1 files changed, 0 insertions, 4 deletions
diff --git a/src/makeint.h b/src/makeint.h
index c37b1a0d..d117240b 100644
--- a/src/makeint.h
+++ b/src/makeint.h
@@ -596,10 +596,6 @@ int gpath_search (const char *file, size_t len);
 
 void construct_include_path (const char **arg_dirs);
 
-void user_access (void);
-void make_access (void);
-void child_access (void);
-
 char *strip_whitespace (const char **begpp, const char **endpp);
 
 void show_goal_error (void);