diff --git a/lib/src/lib.rs b/lib/src/lib.rs
index 6bb39b7..5fba465 100644
--- a/lib/src/lib.rs
+++ b/lib/src/lib.rs
@@ -180,9 +180,8 @@ for model in adf.complete() {
 pub mod adf;
 pub mod adfbiodivine;
 pub mod datatypes;
+pub mod nogoods;
 pub mod obdd;
 pub mod parser;
-pub mod nogoods;
 #[cfg(test)]
 mod test;
-//pub mod obdd2;