diff --git a/src/sat/ba_solver.h b/src/sat/ba_solver.h
index 4433017dc..46e6b15e8 100644
--- a/src/sat/ba_solver.h
+++ b/src/sat/ba_solver.h
@@ -7,7 +7,9 @@ Module Name:
 
 Abstract:
 
-    Cardinality extensions.
+    Cardinality extensions, 
+    Pseudo Booleans, 
+    Xors
 
 Author: