diff options
Diffstat (limited to 'proofs/_CoqProject')
| -rw-r--r-- | proofs/_CoqProject | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/proofs/_CoqProject b/proofs/_CoqProject index 62ede86f..ea90d761 100644 --- a/proofs/_CoqProject +++ b/proofs/_CoqProject @@ -1,4 +1,3 @@ --R NectarDriver NectarDriver +-R Kernel Kernel -NectarDriver/Impl.v -NectarDriver/Trait.v
\ No newline at end of file +Kernel/HeapMgr.v |