diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2014-06-10 11:22:23 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2014-06-10 11:22:23 +0200 |
| commit | 80b589e91fe4c6e6e390132633557dc04b9c533a (patch) | |
| tree | 57437fff190213c90152e67d8d69a104d57f23a8 /kernel/term.mli | |
| parent | 5e7b2a59524523c0f4f4631421a35dadeebbada8 (diff) | |
Remove unused function in univ
Diffstat (limited to 'kernel/term.mli')
0 files changed, 0 insertions, 0 deletions