From 9bc20fbba818ec3af112f03ca4c375a8484d3223 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Mon, 5 Mar 2012 17:45:55 +0100
Subject: [PATCH] fixed script
---
project/Build.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/project/Build.scala b/project/Build.scala
index b24af4918..81c420dd9 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -34,7 +34,7 @@ object Leon extends Build {
fw.write(scalaHomeDir)
fw.write("\" -Dscala.usejavacp=true ")
fw.write("scala.tools.nsc.MainGenericRunner -classpath ${SCALACLASSPATH} ")
- fw.write("funcheck.Main $@" + nl)
+ fw.write("leon.plugin.Main $@" + nl)
fw.close
scriptFile.setExecutable(true)
} catch {
--
GitLab