From 2bb352a86171ac2bb36d3baa9ac3fb3046a521f5 Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Fri, 6 Feb 2026 17:45:00 -0800
Subject: [PATCH] Missing newline

---
 libs/ezsat/ezsat.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();
 	}