up

aurelio-amerio · Jan 8, 2020 · 2d878d5 · 2d878d5
1 parent 5119961
commit 2d878d5
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -4,7 +4,6 @@ authors = ["Aurelio Amerio <aurelio.amerio@edu.unito.it>"]
 version = "0.1.0"
 
 [deps]
-Coverage = "a2441757-f6aa-5fb2-8edb-039e3f45d037"
 Cuba = "8a292aeb-7a57-582c-b821-06e4c11590b1"
 QuadGK = "1fd47b50-473d-5c70-9696-f719f8f3bcdc"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"