X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_form.html.src;h=05eba4cbc3e3d52aad7de979154df7e3dedc93d5;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=9bc072d360e7db2f2bc25648aa1baa72b3c95727;hpb=c0cd1db2993db9e7daadde2aba399bebacc0ac2b;p=helm.git

diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src
index 9bc072d36..05eba4cbc 100644
--- a/helm/searchEngine/html/moogle_form.html.src
+++ b/helm/searchEngine/html/moogle_form.html.src
@@ -12,7 +12,7 @@
 	<td><img src="@SEARCH_ENGINE_URL@/getpage?url=whelp_small.png" alt="whelp" /></td>
 	<td>&#xA0;&#xA0;</td>
 	<td align="center">
-	  <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
+	  <input maxLength="1024" size="45" name="param.expression" value="@EXPRESSION@" />
 	</td>
 	<td>
 	  <input type="submit" value="locate" name="param.action" />