From 273973f378bfcf25910ba45f66326d180a3da3dd Mon Sep 17 00:00:00 2001
From: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
Date: Tue, 21 Jun 2022 16:17:36 +0200
Subject: [PATCH] Update to trigger a new rustfmt

The rustfmt issue on the CI is not reproducable
---
 lib/src/adfbiodivine.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/src/adfbiodivine.rs b/lib/src/adfbiodivine.rs
index 43228e9..a1eebe9 100644
--- a/lib/src/adfbiodivine.rs
+++ b/lib/src/adfbiodivine.rs
@@ -319,6 +319,7 @@ impl Adf {
             .collect::<Vec<Vec<Term>>>()
     }
 
+    /// compute the stable representation
     fn stable_representation(&self) -> Bdd {
         log::debug!("[Start] stable representation rewriting");
         self.ac.iter().enumerate().fold(