diff options
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am index 52a659322..764d5e062 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -16,10 +16,10 @@ libmain_a_SOURCES = \ cvc4_SOURCES = cvc4_LDADD = \ + libmain.a \ ../parser/libcvc4parser.la \ ../libcvc4.la \ - ../lib/libreplacements.la \ - libmain.a + ../lib/libreplacements.la if STATIC_BINARY cvc4_LINK = $(CXXLINK) -all-static |