ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00
Code Issues Projects Releases Wiki Activity

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

Browse Source 
Rust 1.61 conformity
This commit is contained in:
Stefan Ellmauthaler 2022-08-02 19:47:06 +02:00 committed by GitHub
commit d8492dc6d0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/build.yml vendored
View File

@ -19,7 +19,6 @@ jobs:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
RUSTTARGET: ${{ matrix.target }} RUSTTARGET: ${{ matrix.target }}
EXTRA_FILES: "README.md LICENSE" EXTRA_FILES: "README.md LICENSE"
TOOLCHAIN_VERSION: 1.62.1
SRC_DIR: "bin/" SRC_DIR: "bin/"
#release_without_not_required: #release_without_not_required:
# name: release ${{ matrix.target }} # name: release ${{ matrix.target }}

2
lib/src/nogoods.rs
View File

@ -79,7 +79,7 @@ impl NoGood {
return None; return None;
} }
} }
visit.then_some(result) visit.then(|| result)
} }
/// Creates an updated [Vec<Term>], based on the given [&[Term]] and the [NoGood]. /// Creates an updated [Vec<Term>], based on the given [&[Term]] and the [NoGood].