diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2020-05-03 11:55:01 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2020-05-03 11:55:01 -0500 |
| commit | 827e45a487bee0b1231cd3c7e54b4326b476a556 (patch) | |
| tree | cdefa5f2815b18234a552e16440387505ce3b51a /test | |
| parent | 88435666d4fe0eccc7af22e6d5965da8e0b99fbf (diff) | |
Format
Diffstat (limited to 'test')
| -rw-r--r-- | test/unit/theory/regexp_operation_black.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/theory/regexp_operation_black.h b/test/unit/theory/regexp_operation_black.h index c6ae4a176..e4b48a51c 100644 --- a/test/unit/theory/regexp_operation_black.h +++ b/test/unit/theory/regexp_operation_black.h @@ -152,7 +152,7 @@ class RegexpOperationBlack : public CxxTest::TestSuite ExprManager* d_em; SmtEngine* d_smt; SmtScope* d_scope; - SkolemCache * d_skc; + SkolemCache* d_skc; RegExpOpr* d_regExpOpr; NodeManager* d_nm; |