Commit 77d9323b authored by Yann Garcia's avatar Yann Garcia
Browse files

Add missing varaint

parent 0181ca54

ttcn/Pki/LibItsPki_TestSystem.ttcn

+2 −0
Original line number Original line Diff line number Diff line
@@ -53,6 +53,8 @@ module LibItsPki_TestSystem { 
    

    

    type port InfoPort message {

    type port InfoPort message {

        inout InfoPortData

        inout InfoPortData

    } with {

        extension "internal"

    } // End of InfoPort

    } // End of InfoPort

    

    

  } // End of group portDefinitions

  } // End of group portDefinitions