diff options
| author | Lasse Blaauwbroek | 2021-04-16 06:24:17 +0200 |
|---|---|---|
| committer | Lasse Blaauwbroek | 2021-04-16 06:24:17 +0200 |
| commit | 90871c4e9b2c2ea6983f4f37e33dd9c6fd2854a7 (patch) | |
| tree | 1b95930cfa95d5bdc655507ad58a6491489f4d48 /tools/coqdep_common.ml | |
| parent | 59d0462f35818c12a0727a560d7b9ecf2ceea994 (diff) | |
Catch UserError in Hipattern.match_with_equation in case name is not yet registered
Diffstat (limited to 'tools/coqdep_common.ml')
0 files changed, 0 insertions, 0 deletions