From 7cfb1c359faf13cd55bd92cba21fb00ca8d2d0d2 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 26 Sep 2015 19:08:11 +0200
Subject: Adding a notion of monotonous evarmap.

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

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index b81fe151f7..de43efa670 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -119,6 +119,7 @@ Termops
 Namegen
 UState
 Evd
+Sigma
 Glob_ops
 Redops
 Reductionops
-- 
cgit v1.2.3