Method ~SetVarSpec

gecode/flatzinc/varspec.hh:159–162

      alias = true; i = eq.v;
    }
    ~SetVarSpec(void) {
      if (!alias && upperBound())
        delete upperBound.some();
    }
  };

}}