summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Caruso <xavier.caruso@univ-rennes1.fr>2018-01-07 18:13:20 +0100
committerXavier Caruso <xavier.caruso@univ-rennes1.fr>2018-01-07 18:13:20 +0100
commit087eb33b54b9634dcf193cb0e6179e782005c1dd (patch)
treedda6b3276c3fa81b36523acec746c4147f46489a
parentZpLP -> ZpLC (diff)
Fix small bug
-rw-r--r--src/sage/categories/pushout.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sage/categories/pushout.py b/src/sage/categories/pushout.py
index bec4bff..0488899 100644
--- a/src/sage/categories/pushout.py
+++ b/src/sage/categories/pushout.py
@@ -2471,7 +2471,7 @@ class CompletionFunctor(ConstructionFunctor):
return not (self == other)
_real_types = ['Interval','Ball','MPFR','RDF','RLF']
- _dvr_types = [None, 'fixed-mod','floating-point','capped-abs','capped-rel','lazy','lattice']
+ _dvr_types = [None, 'fixed-mod','floating-point','capped-abs','capped-rel','lazy','lattice-cap']
def merge(self, other):
"""