diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-02-27 11:51:35 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-02-27 11:51:35 +0000 |
| commit | aa48ab54832d6301ad0511227dea40df2b959a5f (patch) | |
| tree | ae164d774930959ee2a6f686af2998eb56741967 /Source/Provers/Z3api | |
| parent | 23d9c5c2f60f25c8aa237be46ea9625b4792bfb7 (diff) | |
Fix using reserved Z3 keywords for float operators. These are taken
from ``float_decl_plugin::get_op_names(..)`` in ``src/ast/float_decl_plugin.cpp``
from the Z3 4.3.2 source code.
Diffstat (limited to 'Source/Provers/Z3api')
0 files changed, 0 insertions, 0 deletions