bcpierce00
diff --git a/‎engine/engine.mllib
+2 b/‎engine/engine.mllib
+2
diff --git a/‎pretyping/evarutil.ml ‎engine/evarutil.ml b/‎pretyping/evarutil.ml ‎engine/evarutil.ml
diff --git a/‎pretyping/evarutil.mli ‎engine/evarutil.mli b/‎pretyping/evarutil.mli ‎engine/evarutil.mli
diff --git a/‎pretyping/proofview.ml ‎engine/proofview.ml b/‎pretyping/proofview.ml ‎engine/proofview.ml
diff --git a/‎pretyping/proofview.mli ‎engine/proofview.mli b/‎pretyping/proofview.mli ‎engine/proofview.mli
diff --git a/‎pretyping/pretyping.mllib
-2 b/‎pretyping/pretyping.mllib
-2
@@ -5,3 +5,5 @@ UState
 Evd
 Sigma
 Proofview_monad
+Evarutil
+Proofview
@@ -1,6 +1,5 @@
 Locusops
 Pretype_errors
-Evarutil
 Reductionops
 Inductiveops
 Vnorm
@@ -21,7 +20,6 @@ Patternops
 Constr_matching
 Tacred
 Typeclasses_errors
-Proofview
 Typeclasses
 Classops
 Program