diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-05 20:31:34 +0200 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-05 20:31:34 +0200 |
commit | 6390887ce1fd32c2180f373f1e701d9488c341f9 (patch) | |
tree | ef53b4077d1b947f7f3064765fa8a609efbb5cab /checker/mod_checking.ml | |
parent | 66acf05f6fd0a35b7d9a0d425983c36dbe2cc992 (diff) |
Remove unused substitution functions in checker.
Diffstat (limited to 'checker/mod_checking.ml')
0 files changed, 0 insertions, 0 deletions