diff --git a/tools/liquidity/liquidFromParsetree.ml b/tools/liquidity/liquidFromParsetree.ml index 0fa4d089..d475ef40 100644 --- a/tools/liquidity/liquidFromParsetree.ml +++ b/tools/liquidity/liquidFromParsetree.ml @@ -48,7 +48,7 @@ let ident_counter = ref 0 let minimal_version = 0.9 (* The maximal version of liquidity files that are accepted by this compiler *) -let maximal_version = 1.056 +let maximal_version = 1.057 open Asttypes diff --git a/tools/liquidity/liquidToParsetree.ml b/tools/liquidity/liquidToParsetree.ml index 48980aed..2bdfac32 100644 --- a/tools/liquidity/liquidToParsetree.ml +++ b/tools/liquidity/liquidToParsetree.ml @@ -22,7 +22,7 @@ (****************************************************************************) (* The version that will be required to compile the generated files. *) -let output_version = "1.056" +let output_version = "1.057" open Asttypes open Longident