diff --git a/src/funcheck/FunCheckPlugin.scala b/src/funcheck/FunCheckPlugin.scala
index e6e26bfe940b0174ccc792536e575a95186b6514..09ba190b4042dd9f2e932817ace22b501d883042 100644
--- a/src/funcheck/FunCheckPlugin.scala
+++ b/src/funcheck/FunCheckPlugin.scala
@@ -68,4 +68,4 @@ class FunCheckPlugin(val global: Global) extends Plugin {
     }
   }
 
-  val components = List[PluginComponent](new AnalysisComponent(global, this), new CPComponent(global, this))}
+  val components = List[PluginComponent](new AnalysisComponent(global, this))}