* wrap/python/spot_impl.i: We do not use False/True anymore in Spot.
This commit is contained in:
parent
3467a719bb
commit
4e040fd9f7
1 changed files with 0 additions and 5 deletions
|
|
@ -238,11 +238,6 @@ using namespace spot;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
// False and True cannot be redefined in Python3, even in a class.
|
|
||||||
// Spot uses these in an enum of the constant class.
|
|
||||||
%rename(FalseVal) False;
|
|
||||||
%rename(TrueVal) True;
|
|
||||||
|
|
||||||
%include <spot/misc/common.hh>
|
%include <spot/misc/common.hh>
|
||||||
%include <spot/misc/version.hh>
|
%include <spot/misc/version.hh>
|
||||||
%include <spot/misc/minato.hh>
|
%include <spot/misc/minato.hh>
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue