From d4b6827dbcdb4bb49319068b371c616adac08452 Mon Sep 17 00:00:00 2001
From: Carlo Varni <75478407+CarloVarni@users.noreply.github.com>
Date: Wed, 2 Oct 2024 11:16:38 +0200
Subject: [PATCH] Update CI/test_coverage.py

Co-authored-by: Alexander J. Pfleger <70842573+AJPfleger@users.noreply.github.com>
---
 CI/test_coverage.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CI/test_coverage.py b/CI/test_coverage.py
index 1f2dc560e8c..0488a71d85d 100755
--- a/CI/test_coverage.py
+++ b/CI/test_coverage.py
@@ -63,7 +63,7 @@ def call(cmd):
 if not os.path.exists(coverage_dir):
     os.makedirs(coverage_dir)
 
-excludes = ["-e", "../Tests/", "-e", ".*json.hpp"]
+excludes = ["-e", "../Tests/", "-e", r".*json\.hpp"]
 
 # create the html report
 call(