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

Fix issue with nogoods module definition in lib

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2022-06-15 17:43:40 +02:00
parent 9d0845c740
commit 795d8ab4e6
Failed to extract signature
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lib/src/lib.rs
View File

@ -180,9 +180,8 @@ for model in adf.complete() {
pub mod adf; pub mod adf;
pub mod adfbiodivine; pub mod adfbiodivine;
pub mod datatypes; pub mod datatypes;
pub mod nogoods;
pub mod obdd; pub mod obdd;
pub mod parser; pub mod parser;
pub mod nogoods;
#[cfg(test)] #[cfg(test)]
mod test; mod test;
//pub mod obdd2;