doc: Update to new INI api

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

diff --git a/src/doc/commands/commands_ini.nit b/src/doc/commands/commands_ini.nit
index df312c4..d7c3457 100644 (file)
--- a/src/doc/commands/commands_ini.nit
+++ b/src/doc/commands/commands_ini.nit
@@ -21,7 +21,7 @@ abstract class CmdIni
        super CmdEntity
 
        # Ini file
-       var ini: nullable ConfigTree = null
+       var ini: nullable IniFile = null
 
        redef fun init_command do
                var res = super