From 39c6e45737aacc8648d866aa436e5cf7198ecce2 Mon Sep 17 00:00:00 2001 From: Tianyi Liang Date: Thu, 30 Jan 2014 15:26:50 -0600 Subject: [PATCH] another name change --- src/theory/strings/theory_strings.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 */ -- 2.30.2