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