Merge pull request #92 from ellmau/triage/1.61_downgrade

Rust 1.61 conformity
ellmau · Aug 2, 2022 · d8492dc · d8492dc
2 parents fea31f1 + c4a57bc
commit d8492dc
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git 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
@@ -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].