Removed too agressive assertion

chschulte · chschulte · commit 2b6ca1c26b54 · 2018-12-05T11:12:33.000+01:00
diff --git a/gecode/kernel/core.hpp b/gecode/kernel/core.hpp
@@ -3357,7 +3357,6 @@ namespace Gecode {
     : h(home), pg(home.propagatorgroup()),
       pid(h.ssd.data().gpi.pid()),
       nested(h.pc.p.vti.what() != ViewTraceInfo::OTHER) {
-    assert(!home.failed());
     h.pc.p.vti.post(pg);
   }
 

Original file line number	Diff line number	Diff line change
`@@ -3357,7 +3357,6 @@ namespace Gecode {`
`3357`	`3357`	`: h(home), pg(home.propagatorgroup()),`
`3358`	`3358`	`pid(h.ssd.data().gpi.pid()),`
`3359`	`3359`	`nested(h.pc.p.vti.what() != ViewTraceInfo::OTHER) {`
`3360`		`- assert(!home.failed());`
`3361`	`3360`	`h.pc.p.vti.post(pg);`
`3362`	`3361`	`}`
`3363`	`3362`