diff options
Diffstat (limited to 'colm/pdabuild.cc')
-rw-r--r-- | colm/pdabuild.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/colm/pdabuild.cc b/colm/pdabuild.cc index 1dbd649e..6eb929f7 100644 --- a/colm/pdabuild.cc +++ b/colm/pdabuild.cc @@ -32,7 +32,6 @@ #include "redfsm.h" #include "fsmcodegen.h" #include "redbuild.h" -#include "fsmrun.h" /* Dumping the fsm. */ #include "mergesort.h" |