From 311fd8ec052e89e34129aeb0d9b130c833e808c7 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Thu, 31 Mar 2011 19:40:53 +0000
Subject: [PATCH] multiset problem?
---
web/src/main/scala/code/comet/CodeProcessor.scala | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/web/src/main/scala/code/comet/CodeProcessor.scala b/web/src/main/scala/code/comet/CodeProcessor.scala
index f72d0c640..dbba6238e 100644
--- a/web/src/main/scala/code/comet/CodeProcessor.scala
+++ b/web/src/main/scala/code/comet/CodeProcessor.scala
@@ -69,7 +69,8 @@ object QueryHandler extends LiftActor {
private val cpdir = "/localhome/liftweb/leonscalaccp/"
private val classpath = List(
cpdir + "scala-library.jar" + ":" +
- cpdir + "funcheck.jar"
+ cpdir + "funcheck.jar" + ":" +
+ cpdir + "multisets-lib.jar"
)
private val funcheckOptions : Array[String] = Array(
"--CAV",
--
GitLab