tiny bug for glueings #1

Closed
vd1 opened this Issue May 29, 2012 · 0 comments

Projects

None yet

2 participants

@vd1

I tried this simple file:
A(a!1),B(b!1); A(a!1),B(b!1,c)
which gives me two glueings which is OK, a disjoint one and a non-disjoint one;
the problem is that the site c is forgotten in the dot file for the non disjoint glueing.

@rhz rhz was assigned May 29, 2012
@rhz rhz added a commit that closed this issue Jun 6, 2012
@rhz minimalGlueings refines and extends the pullbacks instead of only ext…
…ending them (fixes #1)
717217b
@rhz rhz closed this in 717217b Jun 6, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment