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