diff --git a/web/src/main/scala/code/comet/CodeProcessor.scala b/web/src/main/scala/code/comet/CodeProcessor.scala
index f72d0c64063395ba64e0907b0036f3cb8d72afe6..dbba6238e3c43bf9430bfd47841ddddc4301f51e 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",