diff --git a/src/expression2/DConstant.cpp b/src/expression2/DConstant.cpp index a0b255a6..f65ba013 100644 --- a/src/expression2/DConstant.cpp +++ b/src/expression2/DConstant.cpp @@ -65,15 +65,15 @@ namespace xo { bool DConstant::pretty(const ppindentinfo & ppii) const { - obj value + obj value_pr = FacetRegistry::instance().variant(value_); return ppii.pps()->pretty_struct (ppii, "DConstant", refrtag("value_.tseq", value_._typeseq()), - refrtag("value.tseq", value._typeseq()), - refrtag("value", value)); + refrtag("value.tseq", value_pr._typeseq()), + refrtag("value", value_pr)); } } /*namespace scm*/ } /*namespace xo*/