Add debug prints

potassco · Oct 12, 2023 · adb93af · adb93af
1 parent d255ce5
commit adb93af
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/ast_internals.rs b/src/ast_internals.rs
@@ -404,9 +404,9 @@ impl<'a> AST<'a> {
     /// Decrement the reference count of an AST node.
     /// *Note:* The node is deleted if the reference count reaches zero.
     fn release(&self) {
-        // println!("release");
-        // println!("ast: {:?}", self);
-        // println!("ast: {}", self.to_string().unwrap());
+        eprintln!("release");
+        println!("ast: {:?}", self);
+        println!("ast: {}", self.to_string().unwrap());
         unsafe { clingo_ast_release(self.ptr.as_ptr()) }
     }
     /// Create a shallow copy of an AST node.