From 19954125d633caa84b6d419b7b1224077df0fcb5 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Thu, 19 Apr 2018 12:15:22 +0100
Subject: tidy

---
 src/process_file.ml | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

(limited to 'src')

diff --git a/src/process_file.ml b/src/process_file.ml
index 7f6e091b..7f9ef069 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -130,15 +130,8 @@ let rec realise_union_anon_rec_types (Parse_ast.TD_variant (union_id, name_scm_o
         let open Parse_ast in
         let record_str = "_" ^ parseid_to_string union_id ^ "_" ^ parseid_to_string id ^ "_record" in
         let record_id = Id_aux (Id record_str, Generated l) in
-        let new_arm = Parse_ast.Tu_aux
-                        ((Parse_ast.Tu_ty_id (
-                           (Parse_ast.ATyp_aux (ATyp_id record_id, Generated l)),
-                           id)
-                        ), Parse_ast.Generated l) in
-        let new_rec_def = Parse_ast.DEF_type (Parse_ast.TD_aux (
-                                                  Parse_ast.TD_record (record_id, name_scm_opt, typq, fields, flag),
-                                                  Generated l
-                                                )) in
+        let new_arm = Tu_aux ((Tu_ty_id ((ATyp_aux (ATyp_id record_id, Generated l)), id)), Generated l) in
+        let new_rec_def = DEF_type (TD_aux (TD_record (record_id, name_scm_opt, typq, fields, flag), Generated l)) in
         (Some new_rec_def, new_arm) :: (realise_union_anon_rec_types orig_union arms)
 
 let rec preprocess = function
-- 
cgit v1.2.3