diff options
Diffstat (limited to 'src/util/Makefile.am')
-rw-r--r-- | src/util/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 7820acb0a..7025c2952 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -28,4 +28,5 @@ libutil_la_SOURCES = \ integer.cpp \ bitvector.h \ bitvector.cpp \ - gmp_util.h + gmp_util.h \ + sexpr.h |