diff --git a/server/file.c b/server/file.c
index 3809012dc8f..39c8150cb28 100644
--- a/server/file.c
+++ b/server/file.c
@@ -265,12 +265,6 @@ done:
     return obj;
 }
 
-/* check if two file objects point to the same file */
-int is_same_file( struct file *file1, struct file *file2 )
-{
-    return is_same_file_fd( file1->fd, file2->fd );
-}
-
 static void file_dump( struct object *obj, int verbose )
 {
     struct file *file = (struct file *)obj;
diff --git a/server/file.h b/server/file.h
index 512b03a8658..06ea233fec6 100644
--- a/server/file.h
+++ b/server/file.h
@@ -136,7 +136,6 @@ extern const char *get_timeout_str( timeout_t timeout );
 extern struct file *get_file_obj( struct process *process, obj_handle_t handle,
                                   unsigned int access );
 extern int get_file_unix_fd( struct file *file );
-extern int is_same_file( struct file *file1, struct file *file2 );
 extern struct file *create_file_for_fd( int fd, unsigned int access, unsigned int sharing );
 extern struct file *create_file_for_fd_obj( struct fd *fd, unsigned int access, unsigned int sharing );
 extern void file_set_error(void);