diff --git a/src/funcheck/CLP.scala b/src/funcheck/CLP.scala
index 6532bb1d2b8f6d990215419c31a05fbb70980e74..7d217e843028f21169b5b4a99e178082ee7b0297 100644
--- a/src/funcheck/CLP.scala
+++ b/src/funcheck/CLP.scala
@@ -1,6 +1,6 @@
 package funcheck
 
-object CLP {
+object CP {
   final class NotImplementedException extends Exception
 
   def choose[A](pred : A => Boolean) : A = {