From 144f2ac7c7394a701808daa503a0b6ded5663fcc Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 6 Sep 2013 21:50:35 +0200
Subject: Adding generic solvers to term holes. For now, no resolution
 mechanism nor parsing is plugged.

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

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 1410cc7a0b..2c4f843978 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -148,6 +148,7 @@ Impargs
 Syntax_def
 Implicit_quantifiers
 Smartlocate
+Genintern
 Constrintern
 Modintern
 Constrextern
-- 
cgit v1.2.3