Revision 92070017
| ID | 92070017864e42919012467d61af361edc92a969 |
Fix shadowing of library function
The "reads" field shadows a library function from Prelude. This commit
fixes the problem.
Signed-off-by: Michele Tartara <mtartara@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
Files
- added
- modified
- copied
- renamed
- deleted