diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/_CoqProject b/_CoqProject index 43b3ecc..e522e73 100644 --- a/_CoqProject +++ b/_CoqProject @@ -2,5 +2,3 @@ -R src/extraction vericert.extraction -R src/hls vericert.hls -R src vericert - --R /nix/store/66l13gkqf431c0lm3x1lcn7zvfqxz6sq-coq8.14-compcert-dev-lib/lib/coq/8.14/user-contrib/compcert/flocq Flocq |