From 7b21fbaea00d7405bd0cc1995be0dfa1a96e5d85 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Tue, 5 Apr 2016 16:57:22 +0200
Subject: [PATCH] Some more comments

---
 src/lib/CoAlgReasoner.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index e208997..dd26d85 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 ->
-- 
GitLab