From adec2bb5e0d43ca17f5cd98714b1b92b8f26388e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Thu, 14 Mar 2019 19:23:37 +0100 Subject: [PATCH] Cleanup --- AST2.ml | 2 +- Typecheck2.ml | 2 +- Typecheck2.mli | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/AST2.ml b/AST2.ml index 0e6830928..55c268c53 100644 --- a/AST2.ml +++ b/AST2.ml @@ -99,7 +99,7 @@ module O = struct types : type_decl list; storage_decl : typed_var; declarations : decl list; - orig : I.t + orig : AST.t } end diff --git a/Typecheck2.ml b/Typecheck2.ml index b7955efff..96fa3cdc7 100644 --- a/Typecheck2.ml +++ b/Typecheck2.ml @@ -100,7 +100,7 @@ module O = struct types : type_decl list; storage_decl : typed_var; declarations : decl list; - orig: AST.t + orig : AST.t } end diff --git a/Typecheck2.mli b/Typecheck2.mli index 4ab935302..0ae31d31b 100644 --- a/Typecheck2.mli +++ b/Typecheck2.mli @@ -100,7 +100,7 @@ module O : sig types : type_decl list; storage_decl : typed_var; declarations : decl list; - orig: AST.t + orig : AST.t } end