Index: src/AST/TypeEnvironment.hpp
===================================================================
--- src/AST/TypeEnvironment.hpp	(revision aba20d252ff0657f8a54ae4f5b2ff291161cfb08)
+++ src/AST/TypeEnvironment.hpp	(revision 9d5089e3f418f8ae4795697294bf00b26fc226a7)
@@ -215,5 +215,5 @@
 std::ostream & operator<<( std::ostream & out, const TypeEnvironment & env );
 
-}
+} // namespace ast
 
 // Local Variables: //
Index: src/AST/porting.md
===================================================================
--- src/AST/porting.md	(revision aba20d252ff0657f8a54ae4f5b2ff291161cfb08)
+++ src/AST/porting.md	(revision 9d5089e3f418f8ae4795697294bf00b26fc226a7)
@@ -302,4 +302,7 @@
 * `ExplodedActual.h` => `ExplodedArg.hpp`
 
+`polyCost`
+* switched order of `env`, `symtab` parameters for better consistency
+
 [1] https://gcc.gnu.org/onlinedocs/gcc-9.1.0/gcc/Type-Attributes.html#Type-Attributes