Fixes to library dialog box in matitaweb.

[helm.git] / matitaB / matita / matitaweb.js

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index e785011b5d5a2988a880b1a75540e9adeeed6459..a5c58c3a2e7995f3e85f668d53386fe4941c47fb 100644 (file)
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -459,7 +459,7 @@ function retrieveFile(thefile)
                }
        };
        dialogBox.style.display = "none";
-       callServer("open",processor,"file=" + escape(thefile); 
+       callServer("open",processor,"file=" + escape(thefile)); 
 }
 
 function showLibrary()