From: Markus Triska <triska@metalevel.at>
Date: Thu, 6 Aug 2020 21:17:08 +0000 (+0200)
Subject: remove entailed constraint
X-Git-Tag: v0.9.0~174^2~15^2~1^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=674483a4c6efa3f72604df539bc3e1d74eb6b5ec;p=scryer-prolog.git

remove entailed constraint
---

diff --git a/src/lib/crypto.pl b/src/lib/crypto.pl
index af03e7d6..1f78c8cb 100644
--- a/src/lib/crypto.pl
+++ b/src/lib/crypto.pl
@@ -592,7 +592,6 @@ crypto_data_decrypt(CipherText0, Algorithm, Key, IV, PlainText, Options) :-
         encoding_chars(Encoding, AAD0, AAD),
         must_be(atom, Encoding),
         member(Encoding, [utf8,octet]),
-        must_be(list, CipherText0),
         encoding_chars(octet, CipherText0, CipherText1),
         maplist(char_code, TagChars, Tag),
         append(CipherText1, TagChars, CipherText),