« Previous | Next » 

Revision f59cefcb

IDf59cefcb2af6dc108cb99eef340a7d009217680d

Added by Petr Pudlak almost 7 years ago

Rename 'resultT' to 'toError'

.. to better correspond to its generalized type.

Signed-off-by: Petr Pudlak <>
Reviewed-by: Klaus Aehlig <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences