diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2018-06-04 14:11:33 +0200 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2018-06-04 14:11:33 +0200 |
commit | 51555af3cccae1f73bfe97e4347a5c625c6d0ec6 (patch) | |
tree | 393ec356983e72158e52916cb06f8767f1a49587 /engine/univMinim.ml | |
parent | 1757f89b6c61024bbe3aebd6b43c56df0d92f5eb (diff) | |
parent | 7913b03ba5072efeb9f6ef009ce27cec8ff19cac (diff) |
Merge PR #7216: Replace uses of Termops.dependent by more specific functions.
Diffstat (limited to 'engine/univMinim.ml')
0 files changed, 0 insertions, 0 deletions