Don't pass the now deprecated --smt argument
Don't pass the now deprecated --smt argument

msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler