diff --git a/src/main/resources/funcheck/scalac-plugin.xml b/src/main/resources/funcheck/scalac-plugin.xml
deleted file mode 100644
index 1d1af30471f802748863b3ae8ebc25734d9c581e..0000000000000000000000000000000000000000
--- 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 0000000000000000000000000000000000000000..9295807e55edbee1a3bf1d098f418193c679986b
--- /dev/null
+++ b/src/main/resources/leon/scalac-plugin.xml
@@ -0,0 +1,4 @@
+<plugin>
+    <name>leon</name>
+    <classname>leon.plugin.LeonPlugin</classname>
+</plugin>