From a1a6d7b99eef5e6a671e5e6d057e46a6122e5e58 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 23 Nov 2014 12:27:19 +0100
Subject: Experimenting always forcing convertibility on strict implicit
 arguments in tactic unification.

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

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 2e61cb6973..ec362b5388 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -144,6 +144,7 @@ Program
 Coercion
 Cases
 Pretyping
+Impargs
 Unification
 Declaremods
 Library
-- 
cgit v1.2.3