diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-26 16:49:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-26 16:49:55 -0500 |
| commit | 59c85cd022a38ec371a78f93fba7b2be35203055 (patch) | |
| tree | eb52c6aa9e67a74b56803dd92765a9616389a071 /src/cvc4.i | |
| parent | 668f31897cf90544d089f53f0f4499b828d7f84b (diff) | |
Op overload no fun variant (#1285)
* Do not allow function variants with operator overloading.
* Minor.
* New clang format.
* Minor improvements.
Diffstat (limited to 'src/cvc4.i')
0 files changed, 0 insertions, 0 deletions