diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-30 15:26:50 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-30 15:26:50 -0600 |
| commit | 39c6e45737aacc8648d866aa436e5cf7198ecce2 (patch) | |
| tree | be525af92e61359428343b7b0a15dde8b5874a1a /src/theory/strings/theory_strings.h | |
| parent | e3caf8a0905ef8f5dcabf57f7f4af8fb1cb2b829 (diff) | |
another name change
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 cd147a591..b7a660999 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -339,7 +339,7 @@ public: IntStat d_new_skolems; Statistics(); ~Statistics(); - };/* class QuantifiersEngine::Statistics */ + };/* class TheoryStrings::Statistics */ Statistics d_statistics; };/* class TheoryStrings */ |