On 2018-03-28 22:33 +0200, Emmanuel Bourg wrote: > Control: tags -1 + patch > > Here is a patch fixing this issue.
> --- a/src/SelectedSubsetsStructure.java
> +++ b/src/SelectedSubsetsStructure.java
> @@ -257,7 +257,7 @@
> OneLeg ol = (OneLeg)tn.getUserObject();
> if (btransitivesubset)
> {
> - Enumeration<DefaultMutableTreeNode>
> tnenum = tn.depthFirstEnumeration();
> + Enumeration<DefaultMutableTreeNode>
> tnenum = (Enumeration) tn.depthFirstEnumeration();
> while (tnenum.hasMoreElements())
>
> vsselectedsubsets.add(((OneLeg)tnenum.nextElement().getUserObject()).stto);
> // the actual subset name, not the thing that appears in the treeview
> }
Aha. Cheers very much for that. Upstream hadn't provided one yet, so I was
thinking I was going to have to try and work it out myself.
Wookey
--
Principal hats: Linaro, Debian, Wookware, ARM
http://wookware.org/
signature.asc
Description: PGP signature
