connected instance to the web search engine

[helm.git] / helm / searchEngine / html / moogle_form.html.src

diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src
index c594a10ffab17361278c6abba3a06d0bfe2d93bc..9bc072d360e7db2f2bc25648aa1baa72b3c95727 100644 (file)
--- a/helm/searchEngine/html/moogle_form.html.src
+++ b/helm/searchEngine/html/moogle_form.html.src
@@ -19,6 +19,7 @@
          <input type="submit" value="hint" name="param.action" />
          <input type="submit" value="match" name="param.action" />
          <input type="submit" value="elim" name="param.action" />
+         <input type="submit" value="instance" name="param.action" />
        </td>
        <td>&#xA0;&#xA0;&#xA0;</td>
        <td>