Changeset - 39752169b803
default
0
1
0
don't try to read sub graphs for virtual subterms (chases)
Ignore-this: b4bbcab615f9887345c952bbc41eb171
Ignore-this: b4bbcab615f9887345c952bbc41eb171
1 file changed with 7 insertions and 3 deletions:
0 comments (0 inline, 0 general)
0 comments (0 inline, 0 general)