Makefile: fix smt2_solver.o dependency

Daniel Kroening · Daniel Kroening · commit b1c55b072417 · 2019-03-18T12:02:33.000Z
diff --git a/src/solvers/Makefile b/src/solvers/Makefile
@@ -250,7 +250,7 @@ endif
 solvers$(LIBEXT): $(OBJ) $(SOLVER_LIB)
 	$(LINKLIB)
 
--include $(smt2/smt2_solver$(DEPEXT))
+-include smt2/smt2_solver$(DEPEXT)
 
 smt2_solver$(EXEEXT): $(OBJ) smt2/smt2_solver$(OBJEXT) \
 	../util/util$(LIBEXT) ../big-int/big-int$(LIBEXT) $(SOLVER_LIB)
