[interv] minor update on empty box display

SimonRohou · SimonRohou · commit 5157014e6cba · 2026-04-13T08:39:19.000+02:00
diff --git a/src/core/domains/interval/codac2_IntervalVector.h b/src/core/domains/interval/codac2_IntervalVector.h
@@ -34,7 +34,7 @@ namespace codac2
   inline std::ostream& operator<<(std::ostream& os, const IntervalVector& x)
   {
     if(x.is_empty())
-      return os << "[ empty " << x.size() << "d vector ]";
+      return os << "[ empty " << x.size() << "d box ]";
 
     else
     {

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@ namespace codac2`
`34`	`34`	`inline std::ostream& operator<<(std::ostream& os, const IntervalVector& x)`
`35`	`35`	`{`
`36`	`36`	`if(x.is_empty())`
`37`		`- return os << "[ empty " << x.size() << "d vector ]";`
	`37`	`+ return os << "[ empty " << x.size() << "d box ]";`
`38`	`38`
`39`	`39`	`else`
`40`	`40`	`{`