Remove superset() for list type of vairable accessControlRule_list
Compare changes
+ 2
− 2
@@ -8551,7 +8551,7 @@ module OneM2M_Testcases {
@@ -8613,7 +8613,7 @@ module OneM2M_Testcases {
Titan throws a compiling error with "superset cannot use for list type variable ..."