1 files changed, 1 insertions, 1 deletions
diff --git a/name.h b/name.h
index c67e839d4f..6c3e5ba3cd 100644
--- a/name.h
+++ b/name.h
@@ -284,6 +284,6 @@ int name_merge(Name *name, Name *other);
 int name_augment(Name *n);
 const char* name_id(Name *n);
 
-void name_dump(Name *n, FILE *f);
+void name_dump(Name *n, FILE *f, const char *prefix);
 
 #endif