diff options
Diffstat (limited to 'src/parser/parser.cpp')
| -rw-r--r-- | src/parser/parser.cpp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index 5e036ee69..dec4ebc97 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -492,6 +492,15 @@ Type Parser::mkFlatFunctionType(std::vector<Type>& sorts, Type range) // no difference return range; } + if (Debug.isOn("parser")) + { + Debug("parser") << "mkFlatFunctionType: range " << range << " and domains "; + for (Type t : sorts) + { + Debug("parser") << " " << t; + } + Debug("parser") << "\n"; + } while (range.isFunction()) { std::vector<Type> domainTypes = |