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].