X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fexpr.html;h=3e302b8b24fc366fed1119c6803856acbdd6c35d;hb=02a075a57f4e40ff34b7ae1351ab77c32d0d427b;hp=bc34e72fed6a713bbf3f7fd7981ffc2f7622f9e1;hpb=f56fe02e31003418cf9dbe3a472fe665acbbf4f5;p=helm.git

diff --git a/helm/searchEngine/html/expr.html b/helm/searchEngine/html/expr.html
index bc34e72fe..3e302b8b2 100644
--- a/helm/searchEngine/html/expr.html
+++ b/helm/searchEngine/html/expr.html
@@ -25,8 +25,9 @@ with (document.form1) {
 				stadd=document.form1.id_or_uri.value;
 				//alert(stadd.substring(0,5));
 				if (stadd.substring(0,5)=="cic:/") 
-					{if (!parent.uricheck(stadd)){stadd="";}}
-				else if (!parent.idcheck(stadd)){stadd="";}					
+					{if (!top.uricheck(stadd)){stadd="";}}
+				else if (!top.idcheck(stadd)){stadd="";}
+				//alert(stadd);					
 				}
 	if (stadd!="") {parent.mcq=parent.mcq.replace("<font color=\"#ff0000\">[Expr]</font>",stadd);
 	//top.qw.document.write(parent.mcq);