Changes in src/GenPoly/GenPoly.cc [83de11e:c2ad3c9]

File:

• src/GenPoly/GenPoly.cc (modified) (1 diff)

src/GenPoly/GenPoly.cc

@@ -64 +64 @@
                         return false;
                 }
-
-                /// Replaces a TypeInstType by its referrent in the environment, if applicable
-                Type* replaceTypeInst( Type* type, const TypeSubstitution* env ) {
-                        if ( ! env ) return type;
-                        if ( TypeInstType *typeInst = dynamic_cast< TypeInstType* >( type ) ) {
-                                Type *newType = env->lookup( typeInst->get_name() );
-                                if ( newType ) return newType;
-                        }
-                        return type;
-                }
+        }
+
+        Type* replaceTypeInst( Type* type, const TypeSubstitution* env ) {
+                if ( ! env ) return type;
+                if ( TypeInstType *typeInst = dynamic_cast< TypeInstType* >( type ) ) {
+                        Type *newType = env->lookup( typeInst->get_name() );
+                        if ( newType ) return newType;
+                }
+                return type;
         }