search

AU-COBRA / coq-rust-extraction

Coq plugin for extracting Rust code
MIT License
10 stars 3 forks source link

Fix MetaCoq utils imports #13

Closed 4ever2 closed 1 year ago

4ever2 commented 1 year ago

Building fails when coq-metacoq-quotation is installed because the import statement From MetaCoq Require Import utils isn't specific enough.