diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2019-07-31 12:17:29 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-31 12:17:29 -0500 |
commit | 7537ff075dbb2d814d722d2d72586ce78235467c (patch) | |
tree | 4adca4f03007da65ddfc2a313f6ecfaf9477626c /src/parser/parser.cpp | |
parent | 79af28acb3bdd16d18f325c7a4fab36604232ab0 (diff) |
Parsing THF and adding several regressions (#3131)
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 = |