Revision - 13e9173 - Check validity of obtained named from a theory cloning renaming.

Revision 13e91731279aa6bf893a99b6b1d5f4a2a84fe16c authored by Pierre-Yves Strub on 27 July 2017, 06:23:30 UTC, committed by Pierre-Yves Strub on 27 July 2017, 06:23:37 UTC

Check validity of obtained named from a theory cloning renaming.

[fix #17354]

1 parent 058bd27

Files
Changes

Permalinks

File	Mode	Size
bad_abs.ec	-rw-r--r--	5.4 KB
except.eca	-rw-r--r--	2.3 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...