diff --git a/README.md b/README.md
index ef50797..cf19cce 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,6 @@
 _Build Status_
  - Circle: [![Circle CI](https://circleci.com/gh/vgough/encfs.svg?style=svg)](https://circleci.com/gh/vgough/encfs)
  - Travis: [![Travis CI](https://travis-ci.org/vgough/encfs.svg?branch=master)](https://travis-ci.org/vgough/encfs)
- - Analysis: [![Coverity](https://scan.coverity.com/projects/10117/badge.svg)](https://scan.coverity.com/projects/vgough-encfs)
 
 ## About
 
diff --git a/model/logging.c b/model/logging.c
deleted file mode 100644
index f7724c6..0000000
--- a/model/logging.c
+++ /dev/null
@@ -1,12 +0,0 @@
-
-void CHECK(bool cond) {
-  if (!cond) {
-    __coverity_panic__();
-  }
-}
-
-void CHECK_EQ(int l, int r) {
-  if (l != r) {
-    __coverity_panic__();
-  }
-}