interleave_options_bad_order.v « output « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/output/interleave_options_bad_order.v

blob: 9a70674b02ce8de06f44d5969207f1a8585b0665 (plain)

1
2
3

(* coq-prog-args: ("-unset" "Extraction Optimize" "-ri" "Extraction") *)

Test Extraction Optimize.