Update smt_engine.cpp

Code changed but comment didn't, might as well get rid of it.