diff options
| author | Matej Kosik | 2016-08-11 12:27:19 +0200 |
|---|---|---|
| committer | Matej Kosik | 2016-08-11 12:51:20 +0200 |
| commit | 484c18b44c19bb139a4c574250d9913cc347ed5a (patch) | |
| tree | 224f5ca2446809b5d2b704fd2666f02f311e08e9 /kernel/context.ml | |
| parent | efca6e2f2268a6ff0a7c06ff28fffd02243f02c1 (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