online_ide: update to the new API of the loader

[nit.git] / lib / deriving.ini

diff --git a/lib/deriving.ini b/lib/deriving.ini
index a9205b6..44690f8 100644 (file)
--- a/lib/deriving.ini
+++ b/lib/deriving.ini
@@ -1,4 +1,4 @@
-[project]
+[package]
 name=deriving
 tags=lib
 maintainer=Jean Privat <jean@pryen.org>