Switch hashtable/hashset
[satune.git] / src / csolver.h
index b2741fdb6fcef7c3e79d6b323083005ea81be758..d611e1d894faeab1947668350c710655ba1d3a90 100644 (file)
@@ -14,7 +14,7 @@ class CSolver {
        Tuner *tuner;
        
        /** This is a vector of constraints that must be satisfied. */
-       HashSetBoolean *constraints;
+       HashSetBoolean constraints;
 
        /** This is a vector of all boolean structs that we have allocated. */
        Vector<Boolean *> allBooleans;