diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2015-10-05 17:00:11 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2015-10-05 17:24:50 +0200 |
| commit | 92ee78086f1ca89646ac69a00256ff45fcaee22c (patch) | |
| tree | 331667abdc4598f1b04e5b6ca0e758bff65a2f39 /parsing/g_ltac.ml4 | |
| parent | bba2cfb5921653f18d6cedf2800cdc1abf9310af (diff) | |
Univs: fix printing bug #3797.
Diffstat (limited to 'parsing/g_ltac.ml4')
0 files changed, 0 insertions, 0 deletions