Bug removed/Feature changed: CIC URIs for inductive data types

[helm.git] / helm / style / mk_meta_graph.xsl

diff --git a/helm/style/mk_meta_graph.xsl b/helm/style/mk_meta_graph.xsl
index 243aedc44d788658343819e27c38bce2c2f8a43f..f9d6faa2334f2a6f5b6ad5ad03d88dfc964954d5 100644 (file)
--- a/helm/style/mk_meta_graph.xsl
+++ b/helm/style/mk_meta_graph.xsl
@@ -167,7 +167,7 @@
   </xsl:call-template>
  </xsl:variable>
  <!-- The nonce is used to force the document reload -->
- <xsl:variable name="dummy0" select="document(concat($uri_set_queueURL,'set_uri_set_size?uri=',$CICURI,'&amp;nonce=',generate-id(),'&amp;PID=',$PID,'&amp;size=',$uri_set_size))"/>
+ <xsl:variable name="dummy0" select="document(concat($uri_set_queueURL,'set_uri_set_size?uri=',$quoted_CICURI,'&amp;nonce=',generate-id(),'&amp;PID=',$PID,'&amp;size=',$uri_set_size))"/>
  <xsl:variable name="dummy1" select="document(concat($uri_set_queueURL,'add_if_not_in?uri=',$quoted_CICURI,'&amp;nonce=',generate-id(),'&amp;PID=',$PID))"/>
  <xsl:apply-templates mode="loop" select="document(concat($uri_set_queueURL,'get_next?uri=',$quoted_CICURI,'&amp;nonce=',generate-id(),'&amp;PID=',$PID))"/>
  <xsl:variable name="dummy2" select="document(concat($uri_set_queueURL,'reset_to_empty?PID=',$PID))"/>