From f301e625e0b2eca89b06f69648e1438600c6237e Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 4 Oct 2024 09:56:29 -0700
Subject: [PATCH] Fix.

---
 src/prop/cadical.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/prop/cadical.cpp b/src/prop/cadical.cpp
index 32397ce9155..420663f4695 100644
--- a/src/prop/cadical.cpp
+++ b/src/prop/cadical.cpp
@@ -663,6 +663,9 @@ class CadicalPropagator : public CaDiCaL::ExternalPropagator
         << " -> " << d_active_vars_control.size() << std::endl;
   }
 
+  /**
+   * Set the activation literal for the current user assertion level.
+   */
   void set_activation_lit(SatVariable& alit)
   {
     d_activation_literals.push_back(alit);