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(