Skip to content

Commit 8a36cfa

Browse files
committed
fixes HTML bug that made the Echidna run fail
1 parent cff3fb2 commit 8a36cfa

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

spec/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9894,7 +9894,6 @@ <h3>Property Path Patterns</h3>
98949894
<a href="#defn_evalALP_1">ALP</a>(<var>n</var>, <var>ppe</var>, <var>V</var>)
98959895
End
98969896
result is <var>V</var>
9897-
<div class="issue" data-number="267"><var>V</var> is not a multiset of solution mappings but a set of RDF terms.</div>
98989897

98999898
ppeval(<var>vx</var>:var, <a href="#defn_ppeOneOrMorePath" class="ppeOp">OneOrMorePath</a>(<var>ppe</var>), <var>vy</var>:var) =
99009899
{ { (<var>vx</var>, <var>t</var>), (<var>vy</var>, <var>n</var>) } | <var>t</var> in <a href="#defn_nodeSet">nodes</a>(<var>G</var>), (<var>vy</var>, <var>n</var>) in ppeval(<var>t</var>, <a href="#defn_ppeOneOrMorePath" class="ppeOp">OneOrMorePath</a>(<var>ppe</var>), <var>vy</var>) }
@@ -9906,6 +9905,7 @@ <h3>Property Path Patterns</h3>
99069905
{ { } } if { (<var>vy</var>:var, <var>y</var>) } in ppeval(<var>x</var>, <a href="#defn_ppeOneOrMorePath" class="ppeOp">OneOrMorePath</a>(<var>ppe</var>), <var>vy</var>)
99079906
{ } otherwise
99089907
</pre>
9908+
<div class="issue" data-number="267"><var>V</var> is not a multiset of solution mappings but a set of RDF terms.</div>
99099909
</div>
99109910
<div class="defn">
99119911
<p><b>Definition: <span id="eval_negatedPropertySet">Evaluation of NegatedPropertySet</span></b></p>

0 commit comments

Comments
 (0)