diff options
author | 2015-08-30 16:35:21 -0400 | |
---|---|---|
committer | 2015-08-30 16:35:21 -0400 | |
commit | 486539b9683b9dc6d34bdaf8971d7fa01f03fc47 (patch) | |
tree | 8ee1b08bdf107edf6e242d34958165f38afad9bc /Test/triggers/some-proofs-only-work-without-autoTriggers.dfy.expect | |
parent | 6de0b191dca899bb04a31000c9962a80f9776d4a (diff) |
Get rid of Built-Using
See Debian bug #688251. There are no licensing issues with Boogie, so we don’t
need to be aware of the original source.
Diffstat (limited to 'Test/triggers/some-proofs-only-work-without-autoTriggers.dfy.expect')
0 files changed, 0 insertions, 0 deletions