From 0cc0b3de6e15d1d3eec493b7c28e4108caf31350 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Fri, 18 Mar 2011 16:09:15 +0000
Subject: [PATCH] stub
---
src/funcheck/CLP.scala | 9 +++++++++
1 file changed, 9 insertions(+)
create mode 100644 src/funcheck/CLP.scala
diff --git a/src/funcheck/CLP.scala b/src/funcheck/CLP.scala
new file mode 100644
index 000000000..6532bb1d2
--- /dev/null
+++ b/src/funcheck/CLP.scala
@@ -0,0 +1,9 @@
+package funcheck
+
+object CLP {
+ final class NotImplementedException extends Exception
+
+ def choose[A](pred : A => Boolean) : A = {
+ throw new NotImplementedException()
+ }
+}
--
GitLab