New: the user can now refine the proposed constraints once that they are

[helm.git] / helm / searchEngine / html / templateambigpdq3.html
diff --git a/helm/searchEngine/html/templateambigpdq3.html b/helm/searchEngine/html/templateambigpdq3.html

index 851326495e3e09c45dd7eecf4362cf8a4c19c516..297182c7f3276a0a307095a50987435fd48d9e2a 100644 (file)
--- a/helm/searchEngine/html/templateambigpdq3.html
+++ b/helm/searchEngine/html/templateambigpdq3.html
@@ -1,9 +1,9 @@
  <html>
     <head>
        <style> A { text-decoration: none } </style>
-      <script>
+      <SCRIPT>
           top.templateambigpdq3_init(new Array(@NEW_ALIASES@));
-      </script>
+      </SCRIPT>
     </head>
     <body>
        @RESULTS@