diff options
| author | Matej Kosik | 2015-12-16 17:31:25 +0100 |
|---|---|---|
| committer | Matej Kosik | 2015-12-18 15:58:52 +0100 |
| commit | 1b5f85d38db7a0d7cb9a4b9491a5563461373182 (patch) | |
| tree | bf4ea8472397e2e4b8bc380615df8f3a07f67dab /kernel/constr.ml | |
| parent | 5824a2c9362a6e33eb43b5e0e2c7572abeee2511 (diff) | |
CLEANUP: the definition of the "Constrexpr.case_expr" type was simplified
Diffstat (limited to 'kernel/constr.ml')
0 files changed, 0 insertions, 0 deletions