diff options
Diffstat (limited to 'src/util/Makefile_insert')
| -rw-r--r-- | src/util/Makefile_insert | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/Makefile_insert b/src/util/Makefile_insert index 87a974768..3d3c88940 100644 --- a/src/util/Makefile_insert +++ b/src/util/Makefile_insert @@ -16,6 +16,7 @@ ink_common_sources += \ util/map-list.h \ util/mathfns.h \ util/reverse-list.h \ + util/set-types.h \ util/share.h \ util/share.cpp \ util/tuple.h \ |