rename "DisjointType" to "DisjunctType"

XMLWordPrintable

    • b118
    • generic
    • generic
    • Not verified

      As reported here http://mail.openjdk.java.net/pipermail/coin-dev/2010-May/002748.html
      a better name for the new "DisjointType" would be "DisjunctType"

            Assignee:
            Jonathan Gibbons
            Reporter:
            Jonathan Gibbons
            Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

              Created:
              Updated:
              Resolved:
              Imported:
              Indexed: