Commit b9f7943d authored by Yann Garcia's avatar Yann Garcia
Browse files

Minor typing change in m/w_criticalityDiagnostics

parent fd269dcc
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -2064,7 +2064,7 @@ module LibNGAP_Templates {
                                                                            in template (omit) ProcedureCode p_procedureCode := omit,
                                                                            in template (omit) TriggeringMessage p_triggeringMessage := omit,
                                                                            in template (omit) Criticality p_procedureCriticality := omit,
                                                                            in template (omit) CriticalityDiagnostics.iEsCriticalityDiagnostics p_criticalityDiagnostics_IE_List := omit,
                                                                            in template (omit) CriticalityDiagnostics_IE_List p_criticalityDiagnostics_IE_List := omit,
                                                                            in template (omit) CriticalityDiagnostics.iE_Extensions p_iE_Extensions := omit
                                                                            ) := {
                procedureCode             := p_procedureCode,
@@ -4413,7 +4413,7 @@ module LibNGAP_Templates {
                                                                      template ProcedureCode p_procedureCode := *,
                                                                      template TriggeringMessage p_triggeringMessage := *,
                                                                      template Criticality p_procedureCriticality := *,
                                                                      template CriticalityDiagnostics.iEsCriticalityDiagnostics p_criticalityDiagnostics_IE_List := *,
                                                                      template CriticalityDiagnostics_IE_List p_criticalityDiagnostics_IE_List := *,
                                                                      template CriticalityDiagnostics.iE_Extensions p_iE_Extensions := *
                                                                      ) := {
                procedureCode             := p_procedureCode,