Skip to content

Commit 6fe0de8

Browse files
Accept auto-format suggestion
Co-authored-by: Anders Schack-Mulligen <[email protected]>
1 parent 7faea53 commit 6fe0de8

File tree

1 file changed

+8
-2
lines changed

1 file changed

+8
-2
lines changed

docs/codeql/ql-language-reference/modules.rst

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -300,8 +300,14 @@ module to generate a custom equivalence relation on an :ref:`algebraic datatype
300300

301301
.. code-block:: ql
302302
303-
newtype Node = MkNode(int x) { x in [1..6] }
304-
predicate base(Node x, Node y) {(x = MkNode(1) and y = MkNode(2)) or (x = MkNode(3) and y = MkNode(4)) }
303+
newtype Node = MkNode(int x) { x in [1 .. 6] }
304+
305+
predicate base(Node x, Node y) {
306+
x = MkNode(1) and y = MkNode(2)
307+
or
308+
x = MkNode(3) and y = MkNode(4)
309+
}
310+
305311
module Equiv = QlBuiltins::EquivalenceRelation<Node, base/2>;
306312
307313
from int x, int y

0 commit comments

Comments
 (0)