Changes in src/SymTab/Mangler.h [ff5caaf:0e73845]

File:

• src/SymTab/Mangler.h (modified) (2 diffs)

src/SymTab/Mangler.h

@@ -31 +31 @@
 // * Currently name compression is not implemented.
 
-namespace ResolvExpr {
-        class TypeEnvironment;
-}
-
 namespace SymTab {
         namespace Mangler {
@@ -44 +40 @@
                 /// Mangle ignoring generic type parameters
                 std::string mangleConcrete( Type* ty );
-                /// Mangle for assertion key
-                std::string mangleAssnKey( DeclarationWithType* decl, 
-                        const ResolvExpr::TypeEnvironment& env );
 
                 namespace Encoding {