Fix a typo in the logic test

This commit is contained in:
Konstantin Nazarov 2024-08-27 23:20:01 +01:00
parent 13f66aea14
commit bb5e124706
Signed by: knazarov
GPG key ID: 4CFE0A42FA409C22

View file

@ -19,5 +19,5 @@
;; "and" is short-circuiting and should stop evaluation on first "false" ;; "and" is short-circuiting and should stop evaluation on first "false"
(assert (= (and false (/ 1 0)) false)) (assert (= (and false (/ 1 0)) false))
;; "and" is short-circuiting and should stop evaluation on first "true" ;; "or" is short-circuiting and should stop evaluation on first "true"
(assert (or true (/ 1 0))) (assert (or true (/ 1 0)))