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 over 2 years ago
Solved bug#57: issues when indirect init of a pre in horn-traces