Skip to content

Commit

Permalink
fix: typo
Browse files Browse the repository at this point in the history
  • Loading branch information
OlivierBBB committed Oct 30, 2024
1 parent 4770b25 commit f8c8f65
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/stdlib.lisp
Original file line number Diff line number Diff line change
Expand Up @@ -94,7 +94,7 @@
;; base-X decomposition constraints
(defpurefun (base-X-decomposition ct base acc digits)
(if-zero ct
(eq! acc bytes)
(eq! acc digits)
(eq! acc (+ (* base (prev acc)) digits))))

;; byte decomposition constraint
Expand Down

0 comments on commit f8c8f65

Please sign in to comment.