alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Remove modgray, it's not used.

Browse source 
* src/misc/modgray.cc, src/misc/modgray.hh: Delete.
* src/misc/Makefile.am: Adjust.
* wrap/python/tests/modgray.py: Delete.
* wrap/python/tests/Makefile.am: Adjust.
* wrap/python/spot.i: Remove binding.
This commit is contained in:
Alexandre Duret-Lutz 2013-06-24 21:59:52 +02:00
parent f2078ac325
commit 882097a2ce
6 changed files with 1 additions and 342 deletions
Download patch file Download diff file Expand all files Collapse all files

4
wrap/python/spot.i
View file

@ -45,7 +45,6 @@ namespace std {
#include "misc/version.hh"
#include "misc/minato.hh"
#include "misc/modgray.hh"
#include "misc/optionmap.hh"
#include "misc/random.hh"
@ -161,9 +160,6 @@ using namespace spot;
%include "misc/optionmap.hh"
%include "misc/random.hh"
%feature("director") spot::loopless_modular_mixed_radix_gray_code;
%include "misc/modgray.hh"
%include "ltlast/formula.hh"
%include "ltlast/refformula.hh"
%include "ltlast/atomic_prop.hh"