diff options
| author | Hugo Herbelin | 2015-02-20 13:34:12 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-02-20 13:34:20 +0100 |
| commit | b092acdcf929af3b16f8445c8e5bb0ced52c3346 (patch) | |
| tree | a76b7e7f87c94397e6b04cfa1e9bfd884e576000 /dev/include | |
| parent | bbafae3cc88452d89314342aa745705b4481d584 (diff) | |
Fixing error message when H already exists in tactic subexpression eqn:H.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions