fix distbench/Makefile.am

diff --git a/distbench/Makefile.am b/distbench/Makefile.am
index 9944b211a0d0a0230203795286fb55199d190d29..f1779bccc88f4f80480513f35a98821b0f2cff22 100644 (file)
--- a/distbench/Makefile.am
+++ b/distbench/Makefile.am
@@ -7,8 +7,8 @@ margalit_LDFLAGS = -lm
 
 sshmidt_LDFLAGS = -lm
 
-bkjg_SOURCES = main.c function.h bkjg.c
+bkjg_SOURCES = main.c distribution.h bkjg.c
 
-margalit_SOURCES = main.c function.h margalit.c
+margalit_SOURCES = main.c distribution.h margalit.c
 
-sshmidt_SOURCES = main.c function.h sshmidt.c
+sshmidt_SOURCES = main.c distribution.h sshmidt.c