diff --git a/src/ligo/ligo-parser/LexerMain.ml b/src/ligo/ligo-parser/LexerMain.ml index 1280d3638..f61f5c407 100644 --- a/src/ligo/ligo-parser/LexerMain.ml +++ b/src/ligo/ligo-parser/LexerMain.ml @@ -24,7 +24,7 @@ let prefix = None | Some "-" -> "temp" | Some file -> Filename.(file |> basename |> remove_extension) -let suffix = ".pp.li" +let suffix = ".pp.ligo" let pp_input = if Utils.String.Set.mem "cpp" EvalOpt.verbose diff --git a/src/ligo/ligo-parser/ParserMain.ml b/src/ligo/ligo-parser/ParserMain.ml index b75f712b0..9f5420e71 100644 --- a/src/ligo/ligo-parser/ParserMain.ml +++ b/src/ligo/ligo-parser/ParserMain.ml @@ -40,7 +40,7 @@ let prefix = None | Some "-" -> "temp" | Some file -> Filename.(file |> basename |> remove_extension) -let suffix = ".pp.li" +let suffix = ".pp.ligo" let pp_input = if Utils.String.Set.mem "cpp" EvalOpt.verbose