From 2a65d8e4410570fc1f70a7c7679634c7725cd538 Mon Sep 17 00:00:00 2001 From: Adrian Thurston Date: Tue, 10 Jul 2018 09:55:05 +0800 Subject: more separation of input and stream --- src/pdarun.h | 1 - 1 file changed, 1 deletion(-) (limited to 'src/pdarun.h') diff --git a/src/pdarun.h b/src/pdarun.h index e86aeb4c..45b28e26 100644 --- a/src/pdarun.h +++ b/src/pdarun.h @@ -427,7 +427,6 @@ void colm_increment_steps( struct pda_run *pda_run ); void colm_decrement_steps( struct pda_run *pda_run ); void colm_clear_stream_impl( struct colm_program *prg, tree_t **sp, struct stream_impl *input_stream ); -void colm_clear_source_stream( struct colm_program *prg, tree_t **sp, struct stream_impl_seq *source_stream ); #define PCR_START 1 #define PCR_DONE 2 -- cgit v1.2.1