diff options
author | Jason Gross <jagro@google.com> | 2016-09-03 17:01:52 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-09-03 17:01:52 -0700 |
commit | 8573ff8c58a3766731df93b24e6b6fd1e0787a9a (patch) | |
tree | a01c056ae758c2085f7bf451c44c40d447786c3f /src/Util/Prod.v | |
parent | 71538cbcfc0b4f434e7b299009c7d3489e7fe176 (diff) |
Make [inversion_option] work on Prop options
Diffstat (limited to 'src/Util/Prod.v')
0 files changed, 0 insertions, 0 deletions