From 5829982c651eb29115777f47700ec149df7900a6 Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Mon, 1 Apr 2019 21:01:45 +0200 Subject: [PATCH] Preprocessed file has now extension .pp.ligo. --- src/ligo/ligo-parser/LexerMain.ml | 2 +- src/ligo/ligo-parser/ParserMain.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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