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