diff options
Diffstat (limited to 'src/theory/fp/fp_converter.h')
| -rw-r--r-- | src/theory/fp/fp_converter.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/theory/fp/fp_converter.h b/src/theory/fp/fp_converter.h index 1db635cda..f1b7c8a83 100644 --- a/src/theory/fp/fp_converter.h +++ b/src/theory/fp/fp_converter.h @@ -323,11 +323,11 @@ class FpConverter typedef symfpuSymbolic::traits::ubv ubv; typedef symfpuSymbolic::traits::sbv sbv; - typedef context::CDHashMap<Node, uf, NodeHashFunction> fpMap; - typedef context::CDHashMap<Node, rm, NodeHashFunction> rmMap; - typedef context::CDHashMap<Node, prop, NodeHashFunction> boolMap; - typedef context::CDHashMap<Node, ubv, NodeHashFunction> ubvMap; - typedef context::CDHashMap<Node, sbv, NodeHashFunction> sbvMap; + typedef context::CDHashMap<Node, uf> fpMap; + typedef context::CDHashMap<Node, rm> rmMap; + typedef context::CDHashMap<Node, prop> boolMap; + typedef context::CDHashMap<Node, ubv> ubvMap; + typedef context::CDHashMap<Node, sbv> sbvMap; fpMap d_fpMap; rmMap d_rmMap; |