« Previous | Next » 

Revision 92070017

ID92070017864e42919012467d61af361edc92a969
Parent 08fa3f09
Child 95e7e85e

Added by Michele Tartara about 8 years ago

Fix shadowing of library function

The "reads" field shadows a library function from Prelude. This commit
fixes the problem.

Signed-off-by: Michele Tartara <>
Reviewed-by: Klaus Aehlig <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences