diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index e208997c1e8e69e5c58088e5c7f0fe73ead47130..dd26d8534eb2b3e8b5a510c2d3da7cabbb62037d 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -132,6 +132,9 @@ let lhtMustFind lht l =
   | Some f -> f
   | None -> assert false
 
+
+(* Gets a list of Things we know are unsatisfiable and propagates this
+   information backwards *)
 let rec propagateUnsat = function
   | [] -> ()
   | propElem::tl ->