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

simpfg: remove this unused function

Browse source 
* src/tl/simpfg.cc, src/tl/simpfg.hh: Delete.
* src/tl/Makefile.am: Adjust.
This commit is contained in:
Alexandre Duret-Lutz 2015-10-02 14:05:54 +02:00
parent c8785a2854
commit afe5b2a1c0
3 changed files with 0 additions and 86 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tl/Makefile.am
View file

@ -39,7 +39,6 @@ tl_HEADERS = \
randomltl.hh \
relabel.hh \
remove_x.hh \
simpfg.hh \
simplify.hh \
snf.hh \
unabbrev.hh
@ -62,7 +61,6 @@ libtl_la_SOURCES = \
randomltl.cc \
relabel.cc \
remove_x.cc \
simpfg.cc \
simplify.cc \
snf.cc \
unabbrev.cc