diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-18 17:10:44 +0100 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-18 17:11:21 +0100 |
commit | 0346ee4472711fc30b7cf197c1bad5c32140f831 (patch) | |
tree | cf95696fc4acd3a8d64f9df9eb5b69cb0f5f8798 /kernel/indtypes.ml | |
parent | 6f88442be8275361a7b68fd56d40976fdee9f4d5 (diff) |
Fix a bug preventing the generation of graphs when doing multiple
pattern-matching on function calls.
Diffstat (limited to 'kernel/indtypes.ml')
0 files changed, 0 insertions, 0 deletions