« Previous | Next » 

Revision 17c59f4b

ID17c59f4b2e23914b2b7d32ecb12fa29ec110eb71
Parent f9fc7a63
Child 71e13e48

Added by Iustin Pop almost 15 years ago

Remove unused parameters from PeerMap creation

We remove some unused arguments (added way back for compatibility with
Arrays, which we didn't use in the end). This makes the code clearer
(and doesn't need the Ndx type to be an instance of Num).

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences