From 1590ca1a3346fbcfffc3d286c856d2531cbd458d Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 13 Dec 2012 14:40:38 +0100
Subject: [PATCH] This is no longer needed

---
 web/conf/application.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/conf/application.conf b/web/conf/application.conf
index feebc38b2..6588c4209 100644
--- a/web/conf/application.conf
+++ b/web/conf/application.conf
@@ -49,4 +49,4 @@ logger.application=DEBUG
 app.prefix=""
 
 # Specifies the classpath used by the Scala compiler within Leon
-app.classpath="../library/target/scala-2.9.2/"
+# app.classpath="../library/target/scala-2.9.2/"
-- 
GitLab