diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-25 12:49:19 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-25 12:49:19 -0600 |
| commit | 160572318e251a98a58b3f506c31fb233070d477 (patch) | |
| tree | 1c20fbc5ab013ede165dc2045d14b18d81d76468 /src/theory/strings/theory_strings.h | |
| parent | fa24a2bf6b511c4db580ded8cd4dec0792a1b392 (diff) | |
replace charat uf with internal one
Diffstat (limited to 'src/theory/strings/theory_strings.h')
| -rw-r--r-- | src/theory/strings/theory_strings.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h index 1f69c81be..1dae73360 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -114,6 +114,7 @@ private: Node d_true; Node d_false; Node d_zero; + Node d_one; // Options bool d_all_warning; bool d_opt_fmf; @@ -286,7 +287,6 @@ private: int getMaxPossibleLength( Node x ); // Special String Functions - Node d_charAtUF; NodeList d_str_pos_ctn; NodeList d_str_neg_ctn; std::map< Node, bool > d_str_ctn_eqlen; |