From 8dfc87768539171ca9f7045ff88732e651794076 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ali=20Sinan=20K=C3=B6ksal?= <alisinan@gmail.com>
Date: Sun, 20 Mar 2011 10:29:01 +0000
Subject: [PATCH] just a class name change
---
src/funcheck/CLP.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/funcheck/CLP.scala b/src/funcheck/CLP.scala
index 6532bb1d2..7d217e843 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 = {
--
GitLab