smt2_solver.{o,d} should be removed by "make clean"#2015

Merged

tautschnig merged 2 commits intodiffblue:developfrom

tautschnig:fix-smt2_solver-clean

Apr 6, 2018

Commits on Apr 6, 2018

smt2_solver.{o,d} should be removed by "make clean"
tautschnig
committed
Makefiles: Place .d suffix used for dependencies in DEPEXT variable
tautschnig
committed