Commit 594fb776 authored by Yann Garcia's avatar Yann Garcia
Browse files

Remove TITAN unsupported constraint

parent f69ead2f
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -40,7 +40,7 @@ EtsiTs103097Data::=Ieee1609Dot2Data (WITH COMPONENTS {...,
        })
   	  }),
	  signer (WITH COMPONENTS {...,  --constraints on the certificate
        certificate (WITH COMPONENT (SingleEtsiTs103097Certificate)) 
        certificate --(WITH COMPONENT (SingleEtsiTs103097Certificate)) 
	  })
	}),
    encryptedData (WITH COMPONENTS {..., -- constraints on encrypted data headers