From 795d8ab4e63d5a80c6f28e10d000557f9f82bb0d Mon Sep 17 00:00:00 2001
From: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
Date: Wed, 15 Jun 2022 17:43:40 +0200
Subject: [PATCH] Fix issue with nogoods module definition in lib

---
 lib/src/lib.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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;