From c4a57bcb84b115bae3ad35f6f20db00aaf7ea38a Mon Sep 17 00:00:00 2001
From: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
Date: Tue, 2 Aug 2022 19:43:15 +0200
Subject: [PATCH] Rust 1.61 conformity

---
 .github/workflows/build.yml | 1 -
 lib/src/nogoods.rs          | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index b99a576..4521d32 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -19,7 +19,6 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           RUSTTARGET: ${{ matrix.target }}
           EXTRA_FILES: "README.md LICENSE"
-          TOOLCHAIN_VERSION: 1.62.1
           SRC_DIR: "bin/"
   #release_without_not_required:
   #  name: release ${{ matrix.target }}
diff --git a/lib/src/nogoods.rs b/lib/src/nogoods.rs
index de25bbe..fd6fa0a 100644
--- a/lib/src/nogoods.rs
+++ b/lib/src/nogoods.rs
@@ -79,7 +79,7 @@ impl NoGood {
                 return None;
             }
         }
-        visit.then_some(result)
+        visit.then(|| result)
     }
 
     /// Creates an updated [Vec<Term>], based on the given [&[Term]] and the [NoGood].