cs: fix addition of memory-order-{acquire,release}

This commit is contained in:
Matthew Flatt 2020-07-13 06:50:15 -06:00
parent 40f07236b9
commit c56b837692

View File

@ -550,6 +550,8 @@
[mcar (known-procedure/no-prompt 2)] [mcar (known-procedure/no-prompt 2)]
[mcdr (known-procedure/no-prompt 2)] [mcdr (known-procedure/no-prompt 2)]
[mcons (known-procedure/pure 4)] [mcons (known-procedure/pure 4)]
[memory-order-acquire (known-procedure 1)]
[memory-order-release (known-procedure 1)]
[min (known-procedure/folding -2)] [min (known-procedure/folding -2)]
[modulo (known-procedure/folding 4)] [modulo (known-procedure/folding 4)]
[mpair? (known-procedure/pure/folding 2)] [mpair? (known-procedure/pure/folding 2)]