Skip to main content

Browse the archive

Revision e729117e3be1159550944b43b094ae54d9183dc1 authored by Raphaël Cauderlier on 26 November 2019, 21:09:02 UTC, committed by Raphaël Cauderlier on 26 November 2019, 21:09:02 UTC 
Remove IF_RIGHT
 
The `IF_RIGHT` macro was incorrectly documented as an instruction when
the Mi-Cho-Coq effort started. The macro expanser correctly converted
ot to its expanded form so all handling of `IF_RIGHT` as an
instruction was basically dead code.
1 parent a7655d8
Raw File
mi-cho-coq.install 
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top