From c7503e32852a5bb4763c7c0fa81957346131e5d7 Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Sat, 13 Apr 2019 19:54:33 +0200 Subject: [PATCH] Added back export of `print_path`. --- src/ligo/ligo_parser/ParserLog.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ligo/ligo_parser/ParserLog.mli b/src/ligo/ligo_parser/ParserLog.mli index ea3d9c687..788be425f 100644 --- a/src/ligo/ligo_parser/ParserLog.mli +++ b/src/ligo/ligo_parser/ParserLog.mli @@ -1,3 +1,5 @@ (* Printing the AST *) val print_tokens : AST.t -> unit + +val print_path : AST.path -> unit