diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-05 22:28:18 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-05 22:28:18 -0600 |
| commit | af18cd275f340d1896c3b635dbeecbea2e521db1 (patch) | |
| tree | 438137ddb999a853b543baa70e8009da212c1e05 /test/unit | |
| parent | ac8b2593bed81125cb1a494e4b8311e517d0e3d9 (diff) | |
Simplify printing with respect to expression types (#5394)
This removes infrastructure for stream property related to printing type annotations on all variables.
This is towards refactoring the printers.
Diffstat (limited to 'test/unit')
| -rw-r--r-- | test/unit/expr/node_black.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/expr/node_black.h b/test/unit/expr/node_black.h index 9589d4cc0..5b82e0a58 100644 --- a/test/unit/expr/node_black.h +++ b/test/unit/expr/node_black.h @@ -550,7 +550,7 @@ class NodeBlack : public CxxTest::TestSuite { TS_ASSERT(sstr.str() == "(AND w (OR x y) z)"); sstr.str(string()); - o.toStream(sstr, -1, false, 0); + o.toStream(sstr, -1, 0); TS_ASSERT(sstr.str() == "(XOR (AND w (OR x y) z) (AND w (OR x y) z))"); sstr.str(string()); |