-
Andrew authored
Fixed a bug in the coherence creating code, I made the erroneous assumption that brackets ([) only show up around equational attributes, which is not at all true for meta equations.
286170ef
Fixed a bug in the coherence creating code, I made the erroneous assumption that brackets ([) only show up around equational attributes, which is not at all true for meta equations.