Fix a segfault in the printer infrastructure when called from API and no language...

diff --git a/src/printer/printer.h b/src/printer/printer.h
index d3a9201ee1f739e270daf9aa70fbaf75c648ee3a..6fe1ec27938f266567531ce369b13ca2cc18bbb1 100644 (file)
--- a/src/printer/printer.h
+++ b/src/printer/printer.h
@@ -53,6 +53,9 @@ protected:
 public:
   /** Get the Printer for a given OutputLanguage */
   static Printer* getPrinter(OutputLanguage lang) throw() {
+    if(lang == language::output::LANG_AUTO) {
+      lang = language::output::LANG_CVC4; // default
+    }
     if(d_printers[lang] == NULL) {
       d_printers[lang] = makePrinter(lang);
     }