renamed development related windows

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

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 6cc4731ad6e7503df7cfaa5521f8019d4729672f..a41215bd476c30526eb2b29f3bdc02ec8a130a19 100644 (file)
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -110,7 +110,7 @@ class gui () =
   let fileSel = new fileSelectionWin () in
   let findRepl = new findReplWin () in
   let develList = new develListWin () in
-  let newDevel = new newDevelopmentWin () in
+  let newDevel = new newDevelWin () in
   let keyBindingBoxes = (* event boxes which should receive global key events *)
     [ main#mainWinEventBox ]
   in