Skip to content

Commit 061dab9

Browse files
Cleaning comment (#605)
Signed-off-by: Lorenzo Gentile <[email protected]>
1 parent fa3bbee commit 061dab9

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

ecdata/constraints.lisp

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -189,7 +189,6 @@
189189
(begin (vanishes! ACC_PAIRINGS)
190190
(eq! (next ACC_PAIRINGS) (next IS_ECPAIRING_DATA)))))
191191

192-
;; TODO: modify in the specs too
193192
(defconstraint set-acc-pairings-increment ()
194193
(if-not-zero IS_ECPAIRING_DATA
195194
(eq! (next ACC_PAIRINGS)

0 commit comments

Comments
 (0)