Revision 2d2144c0
| ID | 2d2144c04d8df16bfae1936b93eb7eeb8e5fcc4c |
| Parent | bc9fd714 |
| Child | c1c4263c, 681f591b, 1c9625b4, b6efcf3a |
Solved bug#57: issues when indirect init of a pre in horn-traces
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 2d2144c04d8df16bfae1936b93eb7eeb8e5fcc4c |
| Parent | bc9fd714 |
| Child | c1c4263c, 681f591b, 1c9625b4, b6efcf3a |
Added by Pierre-Loïc Garoche about 3 years ago
Solved bug#57: issues when indirect init of a pre in horn-traces