Skip to content

Commit

Permalink
Merge pull request #141 from TallTed/patch-1
Browse files Browse the repository at this point in the history
remove errant colon
  • Loading branch information
hartig authored Mar 7, 2024
2 parents a311c6a + 077b904 commit 93a429f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -8402,7 +8402,7 @@ <h5>Collect <code>FILTER</code> Elements</h5>

<pre class="code nohighlightBlock">
Let FS := empty set
For each form FILTER(expr) in the group graph pattern:
For each form FILTER(expr) in the group graph pattern
In expr, replace NOT EXISTS{P} with fn:not(<a href="#defn_evalExists">exists(translate(P)))</a>
In expr, replace EXISTS{P} with <a href="#defn_evalExists">exists(translate(P))</a>
FS := FS ∪ {expr}
Expand Down

0 comments on commit 93a429f

Please sign in to comment.