From 8f8a03aa7c5cf6ced6592c57a0141d0c4fb04a6c Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Wed, 7 Mar 2012 14:44:30 +0100
Subject: [PATCH] fixed scalac-plugin.xml that was still referring to funcheck

---
 src/main/resources/funcheck/scalac-plugin.xml | 4 ----
 src/main/resources/leon/scalac-plugin.xml     | 4 ++++
 2 files changed, 4 insertions(+), 4 deletions(-)
 delete mode 100644 src/main/resources/funcheck/scalac-plugin.xml
 create mode 100644 src/main/resources/leon/scalac-plugin.xml

diff --git a/src/main/resources/funcheck/scalac-plugin.xml b/src/main/resources/funcheck/scalac-plugin.xml
deleted file mode 100644
index 1d1af3047..000000000
--- a/src/main/resources/funcheck/scalac-plugin.xml
+++ /dev/null
@@ -1,4 +0,0 @@
-<plugin>
-    <name>funcheck</name>
-    <classname>funcheck.FunCheckPlugin</classname>
-</plugin>
diff --git a/src/main/resources/leon/scalac-plugin.xml b/src/main/resources/leon/scalac-plugin.xml
new file mode 100644
index 000000000..9295807e5
--- /dev/null
+++ b/src/main/resources/leon/scalac-plugin.xml
@@ -0,0 +1,4 @@
+<plugin>
+    <name>leon</name>
+    <classname>leon.plugin.LeonPlugin</classname>
+</plugin>
-- 
GitLab