diff options
Diffstat (limited to '')
-rw-r--r-- | tests/coq/traits/_CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/coq/traits/_CoqProject b/tests/coq/traits/_CoqProject index d573657e..5b6199fc 100644 --- a/tests/coq/traits/_CoqProject +++ b/tests/coq/traits/_CoqProject @@ -3,3 +3,5 @@ -arg -w -arg all +Traits.v +Primitives.v |