Rename some functions and cleanup

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index bd90bf3054a5cbf85e4b506097391c2786e51d7d..827609c94abe3094f0d70c93add5e89949f44ec7 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -104,7 +104,7 @@ Boolean * applyLogicalOperation(CSolver *, LogicOp op, Boolean ** array, uint as
 /** This function adds a boolean constraint to the set of constraints
     to be satisfied */
 
-void addBoolean(CSolver *, Boolean * constraint);
+void addConstraint(CSolver *, Boolean * constraint);
 
 /** This function instantiates an order of type type over the set set. */
 Order * createOrder(CSolver *, OrderType type, Set * set);