diff options
| author | Enrico Tassi | 2015-09-27 20:37:53 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-09-27 20:37:53 +0200 |
| commit | b0e32f633f66193a6a614c07c78ff10f8ca08ae9 (patch) | |
| tree | 199e86b9cc319680938bba39cf925d5d6cc4d160 /mathcomp | |
| parent | 39cc672b0fdf31cfef816fd14b76e43bff7e6da2 (diff) | |
fix compilation on trunk
Diffstat (limited to 'mathcomp')
| -rw-r--r-- | mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 b/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 index 00eae0d..0e04221 100644 --- a/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 +++ b/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 @@ -6081,7 +6081,7 @@ GEXTEND Gram let s = coerce_reference_to_id qid in Vernacexpr.VernacDefinition ((Some Decl_kinds.Global,Decl_kinds.CanonicalStructure), - (dummy_loc,s),(d )) + ((dummy_loc,s),None),(d )) ]]; END |