Fix error in binary eval for subtraction

Thomas Kiley · Thomas Kiley · commit 2d067f25bfa0 · 2020-05-29T10:37:06.000+01:00
Was wrongly using the unary negation operator, rather than subtracting
one interval from the other.
diff --git a/src/util/interval.cpp b/src/util/interval.cpp
@@ -818,7 +818,7 @@ constant_interval_exprt constant_interval_exprt::eval(
   }
   if(binary_operator == ID_minus)
   {
-    return unary_minus(other);
+    return minus(other);
   }
   if(binary_operator == ID_mult)
   {

Original file line number	Diff line number	Diff line change
`@@ -818,7 +818,7 @@ constant_interval_exprt constant_interval_exprt::eval(`
`818`	`818`	`}`
`819`	`819`	`if(binary_operator == ID_minus)`
`820`	`820`	`{`
`821`		`- return unary_minus(other);`
	`821`	`+ return minus(other);`
`822`	`822`	`}`
`823`	`823`	`if(binary_operator == ID_mult)`
`824`	`824`	`{`