From 6f804a4432bb839d6862d91202dbf797c0a2ddb9 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi <lesenechal.remi@gmail.com> Date: Wed, 11 Dec 2019 13:50:16 +0100 Subject: [PATCH] exclude parser debug tooling --- src/passes/1-parser/cameligo/ParserLog.ml | 1 + src/passes/1-parser/pascaligo/ParserLog.ml | 1 + 2 files changed, 2 insertions(+) diff --git a/src/passes/1-parser/cameligo/ParserLog.ml b/src/passes/1-parser/cameligo/ParserLog.ml index 20aab4c9d..18c29a7d7 100644 --- a/src/passes/1-parser/cameligo/ParserLog.ml +++ b/src/passes/1-parser/cameligo/ParserLog.ml @@ -1,4 +1,5 @@ [@@@warning "-42"] +[@@@coverage exclude_file] open AST open! Region diff --git a/src/passes/1-parser/pascaligo/ParserLog.ml b/src/passes/1-parser/pascaligo/ParserLog.ml index 69369e7c5..dae39a4ef 100644 --- a/src/passes/1-parser/pascaligo/ParserLog.ml +++ b/src/passes/1-parser/pascaligo/ParserLog.ml @@ -1,4 +1,5 @@ [@@@warning "-42"] +[@@@coverage exclude_file] open AST open! Region