From a0139c66e2de3bca191fdaf4fc9d927b16961dc4 Mon Sep 17 00:00:00 2001
From: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
Date: Tue, 2 Aug 2022 19:55:03 +0200
Subject: [PATCH] Restore rust 1.62.1 conformity

---
 lib/src/nogoods.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/src/nogoods.rs b/lib/src/nogoods.rs
index fd6fa0a..de25bbe 100644
--- a/lib/src/nogoods.rs
+++ b/lib/src/nogoods.rs
@@ -79,7 +79,7 @@ impl NoGood {
                 return None;
             }
         }
-        visit.then(|| result)
+        visit.then_some(result)
     }
 
     /// Creates an updated [Vec<Term>], based on the given [&[Term]] and the [NoGood].