balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Cleanup

Browse Source
This commit is contained in:
Georges Dupéron 2019-03-14 19:23:37 +01:00
parent 689673ccfa
commit adec2bb5e0
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
AST2.ml
View File

@ -99,7 +99,7 @@ module O = struct
types : type_decl list; types : type_decl list;
storage_decl : typed_var; storage_decl : typed_var;
declarations : decl list; declarations : decl list;
orig : I.t orig : AST.t
} }
end end

2
Typecheck2.ml
View File

@ -100,7 +100,7 @@ module O = struct
types : type_decl list; types : type_decl list;
storage_decl : typed_var; storage_decl : typed_var;
declarations : decl list; declarations : decl list;
orig: AST.t orig : AST.t
} }
end end

2
Typecheck2.mli
View File

@ -100,7 +100,7 @@ module O : sig
types : type_decl list; types : type_decl list;
storage_decl : typed_var; storage_decl : typed_var;
declarations : decl list; declarations : decl list;
orig: AST.t orig : AST.t
} }
end end