From cafc00bd77aa08ae58a695f6364c3ca0f538e9d8 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Mon, 13 Jul 2020 19:53:25 -0500
Subject: [PATCH] Fix whitespace issue in instantiations output. (#4737)

Fixes regress1.
---
 src/theory/quantifiers/instantiate.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/theory/quantifiers/instantiate.cpp b/src/theory/quantifiers/instantiate.cpp
index d40a2c13d..deed76fc9 100644
--- a/src/theory/quantifiers/instantiate.cpp
+++ b/src/theory/quantifiers/instantiate.cpp
@@ -523,7 +523,6 @@ bool Instantiate::printInstantiationsList(std::ostream& out)
       }
     }
   }
-  out << std::endl;
   return printed;
 }
 
-- 
2.30.2