Error when running through labelled connected graphs tutorial

conjure-cp / conjure-notebook

3 stars 2 forks source link

Error when running through labelled connected graphs tutorial #15

Open sasha704 opened 1 year ago

sasha704 commented 1 year ago

Domain.domainUnion vertices vertices

CallStack (from HasCallStack): error, called at src/Conjure/Bug.hs:21:15 in conjure-cp-2.4.0-Ix4U3uN6RJ2JFXQO53asWL:Conjure.Bug bug, called at src/Conjure/Compute/DomainUnion.hs:81:25 in conjure-cp-2.4.0-Ix4U3uN6RJ2JFXQO53asWL:Conjure.Compute.DomainUnion