Update src/encode/n_data.ml

Co-authored-by: Damien Doligez <damien.doligez@inria.fr>
ahelwer · Jan 24, 2024 · 0a450ad · 0a450ad
1 parent af76167
commit 0a450ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/encode/n_data.ml b/src/encode/n_data.ml
@@ -152,7 +152,7 @@ let untyped_data tla_smb =
                         List.init n (fun _ -> t_cst t_idv),   t_idv)
   | RecSet fs ->
       let n = List.length fs in
-      (List.fold_left (fun s1 s2 -> s1 ^ "_" ^ s2) "RecordSet" fs,
+      ("RecordSet_" ^ String.concat "_" fs,
                         List.init n (fun _ -> t_cst t_idv),   t_idv)
   (* Sequences *)
   | SeqSeq ->