diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-06-28 13:53:36 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-28 13:53:36 -0500 |
commit | e799ab0164722e8a4f192ee13223d0eeec6ec004 (patch) | |
tree | 5ff7c46d2f0f6ff2a2a4f3655425b49e86bd18a5 /src/prop | |
parent | d83f8bebccffdb677652706f4eb3a2fff056587c (diff) |
Do not rename uninterpreted constants (#2098)
Diffstat (limited to 'src/prop')
0 files changed, 0 insertions, 0 deletions