diff options
author | 2016-08-14 13:26:55 +0200 | |
---|---|---|
committer | 2016-08-25 00:09:17 +0200 | |
commit | 16ecabd99d66b3068e17fae486ba4ed77954e813 (patch) | |
tree | 4b9e2d8fce4a81d71c33c635716a0053e350e0ea /kernel/term_typing.ml | |
parent | a5d336774c7b5342c8d873d43c9b92bae42b43e7 (diff) |
CLEANUP: removing calls of the "Context.Named.Declaration.get_value" function
Diffstat (limited to 'kernel/term_typing.ml')
0 files changed, 0 insertions, 0 deletions