diff options
author | 2016-08-11 12:25:59 +0200 | |
---|---|---|
committer | 2016-08-11 12:50:06 +0200 | |
commit | efca6e2f2268a6ff0a7c06ff28fffd02243f02c1 (patch) | |
tree | 592f9faf6da6e51a4641baa2b3f7fe4ae1e5be24 /Makefile.checker | |
parent | d8a07b44f5245f8e2f3a47095c70bb3cc85e3d99 (diff) |
CLEANUP: removing a call of "Context.Rel.Declaration.to_tuple" function
Diffstat (limited to 'Makefile.checker')
0 files changed, 0 insertions, 0 deletions