Changes in src/ResolvExpr/SatisfyAssertions.cpp [0026d67:ef1da0e2]

File:

• src/ResolvExpr/SatisfyAssertions.cpp (modified) (1 diff)

src/ResolvExpr/SatisfyAssertions.cpp

@@ -268 +268 @@
                 ast::ptr< ast::Type > resType = cand.expr->result;
                 cand.env.apply( resType );
-                return Mangle::mangleType( resType );
+                return Mangle::mangle( resType, Mangle::typeMode() );
         }