diff options
author | 2015-10-07 16:51:53 +0200 | |
---|---|---|
committer | 2015-10-07 16:51:53 +0200 | |
commit | e26b4dbedd29acbfb9cbf2320193cc68afa60cf3 (patch) | |
tree | 397f85c4b33d5b7339027371df67f35e09272c6d /plugins/cc/ccproof.mli | |
parent | 08a0c44e3525d1f0c7303d189e826e25c3e3d914 (diff) |
Fix bug #4069: f_equal regression.
Diffstat (limited to 'plugins/cc/ccproof.mli')
0 files changed, 0 insertions, 0 deletions