Commit434ebf0

authored and

committed

Make distinct ;-) (dotnet#2222)

1 parent68cb422 commit434ebf0Copy full SHA for 434ebf0

File tree

-3

lines changed

-3

lines changed

Lines changed: 1 addition & 3 deletions

Original file line number	Diff line number	Diff line change
`@@ -1505,9 +1505,7 @@ let dataEndPoints ctxtH =`
`1505`	`1505`	`@(if ctxt.strongnameAddr=0x0then[]else[("managed strongname",ctxt.strongnameAddr)])`
`1506`	`1506`	`@(if ctxt.vtableFixupsAddr=0x0then[]else[("managed vtable_fixups",ctxt.vtableFixupsAddr)])`
`1507`	`1507`	`@ methodRVAs)))`
`1508`		`-// Make distinct`
`1509`		`-\|> Set.ofList`
`1510`		`-\|> Set.toList`
	`1508`	`+\|> List.distinct`
`1511`	`1509`	`\|> List.sort`
`1512`	`1510`
`1513`	`1511`

Comments

(0)