diff options
| -rw-r--r-- | printing/ppvernac.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/printing/ppvernac.ml b/printing/ppvernac.ml index 7420f2784e..315301d93d 100644 --- a/printing/ppvernac.ml +++ b/printing/ppvernac.ml @@ -1222,7 +1222,6 @@ module Make return (keyword "BeginSubproof" ++ spc () ++ int i) | VernacEndSubproof -> return (str "}") ->>>>>>> Ppannotation.t: New constructor AVernac. and pr_vernac_list l = hov 2 (str"[" ++ spc() ++ |