diff options
Diffstat (limited to 'src/main/Makefile.am')
-rw-r--r-- | src/main/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am index d53ae55a0..da3b5896a 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -20,7 +20,7 @@ cvc4_LDADD = \ @builddir@/../parser/libcvc4parser.la \ @builddir@/../libcvc4.la \ @builddir@/../lib/libreplacements.la \ - $(READLINE_LDFLAGS) + $(READLINE_LIBS) BUILT_SOURCES = \ $(TOKENS_FILES) |