solver cleanout

Author: Daniel Kroening

src/ebmc/ebmc_base.h

@@ -122,7 +122,6 @@ class ebmc_baset:public language_uit
   int do_compute_ct();
   int do_dimacs();
   int do_cvc4();
-  int do_smt1();
   int do_smt2();
   int do_boolector();
   int do_mathsat();

src/ebmc/ebmc_parse_options.cpp

@@ -203,8 +203,6 @@ int ebmc_parse_optionst::doit()
       return ebmc_base.do_mathsat();
     else if(cmdline.isset("yices"))
       return ebmc_base.do_yices();
-    else if(cmdline.isset("smt1"))
-      return ebmc_base.do_smt1();
     else if(cmdline.isset("smt2"))
       return ebmc_base.do_smt2();
     else if(cmdline.isset("prover"))