index 41d3b9fb44d3a92b0671472e8bc749aae3cbad7e..913dda26b57c138d86cb39bdb08a7d4375d67c35 100644 (file)
--- a/src/util/Makefile_insert
+++ b/src/util/Makefile_insert
util/list.h \
util/list-container.h \
util/map-list.h \
+ util/mathfns.h \
util/reverse-list.h \
util/share.h \
util/share.cpp \