From 68863acca9abf4490c651df889721ef7f6a4d375 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 17 Oct 2015 15:32:03 +0200
Subject: Dedicated file for universe unification context manipulation.

This allows to remove a lot of independent code from Evd which was put
into the UState module. The API is not perfect yet, but this is a first
pass. Names of data structures should be thought about too because they
are way too similar.
---
 dev/printers.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index f19edf1c80..b81fe151f7 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -117,6 +117,7 @@ Miscops
 Universes
 Termops
 Namegen
+UState
 Evd
 Glob_ops
 Redops
-- 
cgit v1.2.3