diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc
index 3e63d3e84..69a59c8cd 100644
--- a/libs/ezsat/ezsat.cc
+++ b/libs/ezsat/ezsat.cc
@@ -1225,7 +1225,7 @@ ezSATvec ezSAT::vec(const std::vector<int> &vec)
 void ezSAT::printDIMACS(FILE *f, bool verbose, const std::vector<std::vector<int>> &extraClauses) const
 {
 	if (cnfConsumed) {
-		fprintf(stderr, "Usage error: printDIMACS() must not be called after cnfConsumed()!");
+		fprintf(stderr, "Usage error: printDIMACS() must not be called after cnfConsumed()!\n");
 		abort();
 	}