Renaming

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 0f49dcde8d15af60890146a0d796a0bfbe5ee682..a37434cf3e86bc39d3c209aeda7f99a5f6d6fb1c 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -114,7 +114,7 @@ public:
 
        Tuner *getTuner() { return tuner; }
        
-       HSIteratorBoolean *getConstraints() { return constraints.iterator(); }
+       SetIteratorBoolean *getConstraints() { return constraints.iterator(); }
 
        SATEncoder *getSATEncoder() {return satEncoder;}