Sync with 5.2.0
[deliverable/titan.core.git] / regression_test / ttcn2json / two.ttcn
index e54a5cbd3219af09e41ee682f02239536d4e2ee9..21eb94e5af1a538ed54b64ed96112d0d51866e58 100644 (file)
@@ -7,7 +7,7 @@
  ******************************************************************************/
 
 module two {
-  type record of integer Ints;
+  type record of integer Ints with { encode "JSON" };
 
   type set of universal charstring Strings;
 
@@ -34,4 +34,4 @@ module two {
 
   //type record of integer Rec;
 
-} with { encode "JSON" }
+}
This page took 0.026784 seconds and 5 git commands to generate.