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

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

index 395283ae3bc24ab178c48378c7377a474f3e8d4e..3897e34768de97f689ad0ef3a611183157ed3756 100644 (file)
--- a/helm/searchEngine/html/templateambigpdq1.html
+++ b/helm/searchEngine/html/templateambigpdq1.html
@@ -3,9 +3,9 @@
  <TITLE>@TITLE@</TITLE>
  <style> A { text-decoration: none } </style>
  <SCRIPT language="Javascript">
-   var ambiguousinput="@MSG@";
+   var ambiguousinput='@MSG@';
     var elenco = new Array(@CHOICES@);
-   var ident = "@ID@";
+   var ident = '@ID@';
  </SCRIPT>
  </HEAD>
  <BODY>