diff options
| author | Enrico Tassi | 2017-07-31 09:42:42 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2017-07-31 09:42:42 +0200 |
| commit | 8cc0b96f21dbc3818a0c5dfd778d9cadd66e4beb (patch) | |
| tree | 10dbaff484f35e423ab96de745758abe14c3d5e9 | |
| parent | ac98f492e8988579a01a31560cdba7b4ba6420f5 (diff) | |
Fix build of ssreflect/ only on 8.6
| -rw-r--r-- | mathcomp/ssreflect/Make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mathcomp/ssreflect/Make b/mathcomp/ssreflect/Make index 4abe49f..fc596ab 100644 --- a/mathcomp/ssreflect/Make +++ b/mathcomp/ssreflect/Make @@ -19,4 +19,5 @@ prime.v tuple.v ssrnotations.v +-I . -R . mathcomp.ssreflect |