From 2280477a96e19ba5060de2d48dcc8fd7c8079d22 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Fri, 13 Nov 2015 11:31:34 +0100
Subject: Imported Upstream version 8.5~beta3+dfsg

---
 dev/printers.mllib | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dev/printers.mllib')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 2f78c2e9..07b48ed5 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -27,13 +27,14 @@ Pp
 Segmenttree
 Unicodetable
 Unicode
-Errors
 CObj
 CList
 CString
 CArray
 CStack
 Util
+Ppstyle
+Errors
 Bigint
 Dyn
 CUnix
@@ -109,7 +110,6 @@ Loadpath
 Goptions
 Decls
 Heads
-Assumptions
 Keys
 Locusops
 Miscops
@@ -154,7 +154,6 @@ Tok
 Lexer
 Ppextend
 Pputils
-Ppstyle
 Ppannotation
 Stdarg
 Constrarg
@@ -204,6 +203,7 @@ Hints
 Himsg
 Cerrors
 Locality
+Assumptions
 Vernacinterp
 Dischargedhypsmap
 Discharge
-- 
cgit v1.2.3