diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-13 11:07:16 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-13 11:07:16 -0600 |
| commit | c0a7095f13547ac0c0d4c92670000ca875b7c349 (patch) | |
| tree | 6a8eb67f79fb83b8e27e4837079c1df829c16e67 /src/preprocessing/passes/synth_rew_rules.cpp | |
| parent | 9acb8b8d0d529c4780191660f8ef2b51e4a92926 (diff) | |
Eliminate Expr-level calls in TypeNode (#3562)
Diffstat (limited to 'src/preprocessing/passes/synth_rew_rules.cpp')
| -rw-r--r-- | src/preprocessing/passes/synth_rew_rules.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/synth_rew_rules.cpp b/src/preprocessing/passes/synth_rew_rules.cpp index 47e64b2e4..f3ca65b79 100644 --- a/src/preprocessing/passes/synth_rew_rules.cpp +++ b/src/preprocessing/passes/synth_rew_rules.cpp @@ -417,7 +417,7 @@ PreprocessingPassResult SynthRewRulesPass::applyInternal( 0); Trace("srs-input-debug") << "Grammar for subterm " << n << " is: " << std::endl; - Trace("srs-input-debug") << subtermTypes[n].getDatatype() << std::endl; + Trace("srs-input-debug") << subtermTypes[n].getDType() << std::endl; } // set that this is a sygus datatype sdttl.initializeDatatype(t, sygusVarList, false, false); |