From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Fri, 4 May 2018 04:48:19 +0000 (-0700)
Subject: Fix printing of multiple datatypes (#1872)
X-Git-Tag: cvc5-1.0.0~5089
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8a3f9efe5856fc07fbc99b9b606397a5079ddd78;p=cvc5.git

Fix printing of multiple datatypes (#1872)
---

diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index f9cd7db83..64ebda07f 100644
--- a/src/printer/cvc/cvc_printer.cpp
+++ b/src/printer/cvc/cvc_printer.cpp
@@ -1457,6 +1457,7 @@ static void toStream(std::ostream& out,
           out << ')';
         }
       }
+      firstDatatype = false;
     }
     out << endl << "END;";
   }