diff options
author | Tim King <taking@cs.nyu.edu> | 2012-03-01 00:38:37 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-03-01 00:38:37 +0000 |
commit | 752b07858cf473d116f1167c752b2be0b1068645 (patch) | |
tree | 7440fe81d04cacebfbe233fbadb9bb4f4ca57774 /src/theory/term_registration_visitor.h | |
parent | 2821b7a47e779c7d4f189ffdffaebe4bdb5b9036 (diff) |
Fixed a copy paste error where a lower bound was looked up instead of an upper bound.
Diffstat (limited to 'src/theory/term_registration_visitor.h')
0 files changed, 0 insertions, 0 deletions