diff options
Diffstat (limited to 'printing/ppvernac.ml')
| -rw-r--r-- | printing/ppvernac.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/printing/ppvernac.ml b/printing/ppvernac.ml index 16759a3d8..5cad4806d 100644 --- a/printing/ppvernac.ml +++ b/printing/ppvernac.ml @@ -728,7 +728,7 @@ let rec pr_vernac = function str":" ++ spc () ++ pr_constr cl ++ pr_priority pri ++ (match props with - | Some p -> spc () ++ str":=" ++ spc () ++ pr_constr p + | Some (_,p) -> spc () ++ str":=" ++ spc () ++ pr_constr p | None -> mt())) | VernacContext l -> |