renamed development related windows

[helm.git] / helm / matita / matitaGui.mli

diff --git a/helm/matita/matitaGui.mli b/helm/matita/matitaGui.mli
index a2b15513ed77b5794851c7b55366b456e5393141..0943862ce6e3491581d95416a677db696b1bcd3c 100644 (file)
--- a/helm/matita/matitaGui.mli
+++ b/helm/matita/matitaGui.mli
@@ -52,7 +52,7 @@ object
   method main :         MatitaGeneratedGui.mainWin
   method findRepl :     MatitaGeneratedGui.findReplWin
   method develList:     MatitaGeneratedGui.develListWin
-  method newDevel:      MatitaGeneratedGui.newDevelopmentWin
+  method newDevel:      MatitaGeneratedGui.newDevelWin
 (*   method toolbar :      MatitaGeneratedGui.toolBarWin *)
 
   method console:       console