fix typechecking code

This commit is contained in:
Laurent Perron
2023-12-08 17:30:46 +01:00
parent fc81788c1b
commit 64b7db74ef

View File

@@ -435,7 +435,7 @@ class LinearExpr:
def __sub__(self, arg):
if cmh.is_zero(arg):
return self
if isinstance(arg, NumberT):
if cmh.is_a_number(arg):
arg = cmh.assert_is_a_number(arg)
return _Sum(self, -arg)
else: