Release version assertion error on unsatagg

[Broes De Cat]

==8893== Invalid read of size 8 ==8893== at 0x5395E3: LookupGenerator::next() (in /media/data/documenten/kuldoctoraat/software/gidl2/builds/release/install/bin/gidl) ==8893== by 0x4F5A49: QuantGrounder::run(ConjOrDisj&, bool) const (in /media/data/documenten/kuldoctoraat/software/gidl2/builds/release/install/bin/gidl) ==8893== by 0x4F4F14: ClauseGrounder::runSubGrounder(Grounder, bool, ConjOrDisj&, bool) const (in /media/data/documenten/kuldoctoraat/software/gidl2/builds/release/install/bin/gidl) ==8893== by 0x4F5B94: BoolGrounder::run(ConjOrDisj&, bool) const (in /media/data/documenten/kuldoctoraat/software/gidl2/builds/release/install/bin/gidl) ==8893== by 0x517A6B: Grounder::toplevelRun() const (in /media/data/documenten/kuldoctoraat/software/gidl2/builds/release/install/bin/gidl) ==8893== by 0x518E3B: ModelExpansion::expand(AbstractTheory, AbstractStructure, TraceMonitor) const (in /media/data/documenten/kuldoctoraat/software/gidl2/builds/release/install/bin/gidl) ==8893== by 0x475CD3: ModelExpandInference::execute(std::vector<InternalArgument, std::allocator<InternalArgument> > const&) const (in /media/data/documenten/kuldoctoraat/software/gidl2/builds/release/install/bin/gidl) ==8893== by 0x469951: LuaConnection::InternalProcedure::operator()(lua_State) const (in /media/data/documenten/kuldoctoraat/software/gidl2/builds/release/install/bin/gidl) ==8893== by 0x46DB72: LuaConnection::internalCall(lua_State) (in /media/data/documenten/kuldoctoraat/software/gidl2/builds/release/install/bin/gidl) ==8893== by 0x529D2FC: luaD_precall (ldo.c:319) ==8893== by 0x52A7EE0: luaV_execute (lvm.c:587) ==8893== by 0x529D7CC: luaD_call (ldo.c:377) ==8893== Address 0x0 is not stack'd, malloc'd or (recently) free'd

[Bart Bogaerts]

Duplicate of #6.

[Broes De Cat]

Removing milestone: First Release 25/12/2011 (automated comment)