diff options
author | Stephane Glondu <steph@glondu.net> | 2019-08-22 04:20:51 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2019-08-22 04:20:51 +0200 |
commit | 54b3d73e25072b53f2984b3be6ed1720e02e004b (patch) | |
tree | 07888ef8ba2fcdabbacc086e342dbe9f6e2335b7 /ast_convenience_402.mli | |
parent | 152caa7026ef65fcbe1b998a53c7ed9a170d6c4d (diff) |
New upstream version 5.2.2
Diffstat (limited to 'ast_convenience_402.mli')
-rw-r--r-- | ast_convenience_402.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ast_convenience_402.mli b/ast_convenience_402.mli index a07b92d..220d4b6 100644 --- a/ast_convenience_402.mli +++ b/ast_convenience_402.mli @@ -1,4 +1,4 @@ -open Ast_402 +open Migrate_parsetree.Ast_402 (* This file is part of the ppx_tools package. It is released *) (* under the terms of the MIT license (see LICENSE file). *) |