diff options
| author | Enrico | 2017-06-14 15:17:04 +0200 |
|---|---|---|
| committer | GitHub | 2017-06-14 15:17:04 +0200 |
| commit | 0dd56bae63cca37e5be8c22ffea8e47d1ef500fc (patch) | |
| tree | 8032c281a98acdf26b96acd2242f7b7469bdc1ca /mathcomp | |
| parent | e6f0c9e295a40de7442e2702a32f68e3c5d37863 (diff) | |
No .ml4 file in the standard Make
it is to the caller of coq_makefile to eventually add .ml4 files
Diffstat (limited to 'mathcomp')
| -rw-r--r-- | mathcomp/ssreflect/Make | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/mathcomp/ssreflect/Make b/mathcomp/ssreflect/Make index ea3d104..4abe49f 100644 --- a/mathcomp/ssreflect/Make +++ b/mathcomp/ssreflect/Make @@ -19,7 +19,4 @@ prime.v tuple.v ssrnotations.v -ssreflect.ml4 - --I . -R . mathcomp.ssreflect |