Formattingdedup_lang

3 files changed, 5 insertions, 7 deletions

diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp
index 4e45df440..cdb799864 100644
--- a/src/parser/smt2/smt2.cpp
+++ b/src/parser/smt2/smt2.cpp
@@ -1246,7 +1246,8 @@ const void Smt2::addSygusFunSymbol( Type t, Expr synth_fun ){
   preemptCommand(cattr);
 }
 
-InputLanguage Smt2::getLanguage() const {
+InputLanguage Smt2::getLanguage() const
+{
   ExprManager* em = getExprManager();
   return em->getOptions().getInputLanguage();
 }
diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h
index c4ebbc745..09f7a5696 100644
--- a/src/parser/smt2/smt2.h
+++ b/src/parser/smt2/smt2.h
@@ -171,9 +171,7 @@ public:
   {
     return language::isInputLang_smt2_6(getLanguage(), exact);
   }
-  bool sygus() const {
-    return getLanguage() == language::input::LANG_SYGUS;
-  }
+  bool sygus() const { return getLanguage() == language::input::LANG_SYGUS; }
 
   void setInfo(const std::string& flag, const SExpr& sexpr);
 
diff --git a/src/parser/smt2/smt2_input.cpp b/src/parser/smt2/smt2_input.cpp
index 0fdf2c784..e568fb362 100644
--- a/src/parser/smt2/smt2_input.cpp
+++ b/src/parser/smt2/smt2_input.cpp
@@ -34,9 +34,8 @@ namespace CVC4 {
 namespace parser {
 
 /* Use lookahead=2 */
-Smt2Input::Smt2Input(AntlrInputStream& inputStream) :
-  AntlrInput(inputStream, 2) {
-
+Smt2Input::Smt2Input(AntlrInputStream& inputStream) : AntlrInput(inputStream, 2)
+{
   pANTLR3_INPUT_STREAM input = inputStream.getAntlr3InputStream();
   assert( input != NULL );