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

Restore rust 1.62.1 conformity

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2022-08-02 19:55:03 +02:00
parent d8492dc6d0
commit a0139c66e2
Signed by: ellmau
GPG Key ID: C804A9C1B7AF8256
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/src/nogoods.rs
View File

@ -79,7 +79,7 @@ impl NoGood {
return None; return None;
} }
} }
visit.then(|| result) visit.then_some(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].