From d335953af623429092303076c7bcf06ee5de50db Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 1 Oct 2014 16:06:29 +0200
Subject: Fixing use of arguments renaming in apply which was broken after
 reorganization of apply in d5fece25d8964d5d9fcd55b66164286aeef5fb9f: using
 renaming also in retyping.

---
 dev/printers.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 1d09ce105e..a655bc5266 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -120,6 +120,7 @@ Glob_ops
 Redops
 Reductionops
 Inductiveops
+Arguments_renaming
 Nativenorm
 Retyping
 Cbv
@@ -128,7 +129,6 @@ Evarutil
 Evarsolve
 Recordops
 Evarconv
-Arguments_renaming
 Typing
 Patternops
 ConstrMatching
-- 
cgit v1.2.3