From 6ba6ebbccf53772619fa06c5b06886373ae2f679 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 27 Apr 2016 22:13:03 +0200
Subject: Revert "Fixing printing of Arguments."

This reverts commit c90d538c8763cb90fab6071cf00236f00b3c33a2.
---
 printing/ppvernac.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/printing/ppvernac.ml b/printing/ppvernac.ml
index 4056115785..d5934e1217 100644
--- a/printing/ppvernac.ml
+++ b/printing/ppvernac.ml
@@ -1036,7 +1036,7 @@ module Make
                       spc() ++ pr_br imp max (pr_if k (str"!") ++ pr_name id ++ pr_s s) ++
                         aux (n-1) tl in
                 prlist_with_sep (fun () -> str", ") (aux nargs) impl ++
-                  (if not (List.is_empty mods) then str" : " else str"") ++
+                  if not (List.is_empty mods) then str" : " else str"" ++
                     prlist_with_sep (fun () -> str", " ++ spc()) (function
                       | `ReductionDontExposeCase -> keyword "simpl nomatch"
                       | `ReductionNeverUnfold -> keyword "simpl never"
-- 
cgit v1.2.3