diff options
-rw-r--r-- | _CoqProject | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/_CoqProject b/_CoqProject index 88ff260..12eb8b7 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,2 +1,2 @@ --R CoqUp CoqUp --R lib/bbv/src/bbv bbv
\ No newline at end of file +-R src/CoqUp CoqUp +-R lib/bbv/src/bbv bbv |