From 42efcf0d2112ce3a974384b7926ef7c2f1a073b5 Mon Sep 17 00:00:00 2001
From: Armin Biere <biere@cs.uni-freiburg.de>
Date: Sat, 6 May 2023 10:36:43 +0200
Subject: [PATCH] Update README.md

---
 README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README.md b/README.md
index 7fca233..49a85a6 100644
--- a/README.md
+++ b/README.md
@@ -21,7 +21,6 @@ and
 <a href="https://cca.informatik.uni-freiburg.de/biere/index.html#publications">Armin Biere</a>.
 <br>
 <a href="https://cca.informatik.uni-freiburg.de/papers/FleuryBiere-ARXIV22.pdf">Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses</a>.
-<br>
 CoRR abs/2207.13577 (2022), presented at
 <a href="http://www.pragmaticsofsat.org/2022/">12th Workshop on Pragmatics of SAT (POS'22)</a>.
 <br>