diff options
| author | Martin Brain <martin.brain@cs.ox.ac.uk> | 2017-09-26 20:00:17 -0700 |
|---|---|---|
| committer | Andres Noetzli <noetzli@stanford.edu> | 2017-09-26 20:03:31 -0700 |
| commit | f82e4308d1f1b8cc033ca6bfd70e707e4695a47d (patch) | |
| tree | 421c33ec98e4ac2104671a6ee28a9006687bf586 /src/theory/atom_requests.h | |
| parent | e23377411d993e126403eb186c80f664419d512c (diff) | |
Fix type checking of to_real (#1127)
to_real takes a single argument as given in kinds.
Diffstat (limited to 'src/theory/atom_requests.h')
0 files changed, 0 insertions, 0 deletions