PIXIT name PX_TAC was changed into PX_TACode due to the same PIXIT name in LibCommon library.

Function f_postamble_MME was missing.

ttcn3/LibS1AP/LibS1AP_Pixits.ttcn

@@ -92,7 +92,7 @@ module LibS1AP_Pixits {
      * @desc The TAC is used to uniquely identify a Tracking Area Code.
      * @see ETSI TS 136 413 Clause 9.2.3.7 TAC
      */
-    modulepar TAC PX_TAC := '0000'O;
+    modulepar TAC PX_TACode := '0000'O;
     
     /** 
      * @desc The MME Group ID.

ttcn3/LibS1AP/LibS1AP_Steps.ttcn

@@ -1908,6 +1908,15 @@ module LibS1AP_Steps {
                 // Nothing to do
             } // End of function f_postambleS1AP_eNB
             
+            /**
+             * @desc 
+             * @verdict 
+             */
+            function f_postambleS1AP_MME()
+            runs on S1APComponent {
+                // Nothing to do
+            } // End of function f_postambleS1AP_MME
+            
         } // End of group postamble_S1AP
         
     } // End of group postambles