From 04d6c920518ae515cb06d2a0d114e2550293eb18 Mon Sep 17 00:00:00 2001
From: Lambert Theisen <lambert.theisen@rwth-aachen.de>
Date: Sat, 14 Dec 2019 00:48:29 +0100
Subject: [PATCH] Fix coverage

---
 .coveragerc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.coveragerc b/.coveragerc
index fe08709..e0cc46c 100644
--- a/.coveragerc
+++ b/.coveragerc
@@ -1,3 +1,3 @@
 [run]
 include =
-    */src/*
\ No newline at end of file
+    */fenicsR13/*
\ No newline at end of file
-- 
GitLab