vararray.cpp in gecoder-0.3.0

- old
+ new

@@ -162,9 +162,13 @@
 {
 	d->array = arr;
 	setSize(arr.size());
 	setCount(0);
 }
+MBoolVarArray::MBoolVarArray (Space *home, int n) : d(new Private)
+{
+	setArray(Gecode::BoolVarArray(home, n));
+}
 
 MBoolVarArray::~MBoolVarArray()
 {
 	delete d;
 }