@@ -106,7 +106,6 @@ bool SvBugpoint::pass(std::shared_ptr<SyntaxTree>& tree, const std::string& pass
106106 commited |= rewriteLoop (makeExternRemover (tree), tree, " externRemover" , passIdx, this );
107107 commited |= rewriteLoop<DeclRemover>(tree, " declRemover" , passIdx, this );
108108 commited |= rewriteLoop<StatementsRemover>(tree, " statementsRemover" , passIdx, this );
109- commited |= rewriteLoop<TypeSimplifier>(tree, " typeSimplifier" , passIdx, this );
110109 commited |= rewriteLoop<ImportsRemover>(tree, " importsRemover" , passIdx, this );
111110 commited |= rewriteLoop<ParamAssignRemover>(tree, " paramAssignRemover" , passIdx, this );
112111 commited |= rewriteLoop<ContAssignRemover>(tree, " contAssignRemover" , passIdx, this );
@@ -115,6 +114,7 @@ bool SvBugpoint::pass(std::shared_ptr<SyntaxTree>& tree, const std::string& pass
115114 commited |= rewriteLoop (makePortsRemover (tree), tree, " portsRemover" , passIdx, this );
116115 commited |= rewriteLoop (makeStructFieldRemover (tree), tree, " structRemover" , passIdx, this );
117116 commited |= rewriteLoop<ModuleRemover>(tree, " moduleRemover" , passIdx, this );
117+ commited |= rewriteLoop<TypeSimplifier>(tree, " typeSimplifier" , passIdx, this );
118118
119119 return commited;
120120}
0 commit comments