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 8ff5293e2..344dcf926 100644 --- a/src/theory/fp/fp_converter.h +++ b/src/theory/fp/fp_converter.h @@ -318,11 +318,11 @@ class FpConverter typedef context::CDHashMap<Node, ubv, NodeHashFunction> ubvMap; typedef context::CDHashMap<Node, sbv, NodeHashFunction> sbvMap; - fpMap f; - rmMap r; - boolMap b; - ubvMap u; - sbvMap s; + fpMap d_fpMap; + rmMap d_rmMap; + boolMap d_boolMap; + ubvMap d_ubvMap; + sbvMap d_sbvMap; /* These functions take a symfpu object and convert it to a node. * These should ensure that constant folding it will give a |