diff options
author | 2014-02-14 14:19:53 +0100 | |
---|---|---|
committer | 2014-05-06 09:58:57 +0200 | |
commit | df5e18302e113370906d9ca0b2a2e96dcaccbf0a (patch) | |
tree | f2610a6048d872247575abd7c9dfe2c9e0873254 /theories/Classes | |
parent | 98e9c806dee5ab8c3430000a9a9fd5d478662ae6 (diff) |
Honor the Opaque flag for projections in simpl.
Diffstat (limited to 'theories/Classes')
0 files changed, 0 insertions, 0 deletions