summaryrefslogtreecommitdiff
path: root/src/pdarun.h
diff options
context:
space:
mode:
authorAdrian Thurston <thurston@colm.net>2018-07-04 13:23:21 +0700
committerAdrian Thurston <thurston@colm.net>2018-07-04 13:23:21 +0700
commit00b1dd7777079036321afb8b3dcff0a229815517 (patch)
tree74f4d3acf8c043b03b1182e0453659cd8dca4f8a /src/pdarun.h
parente87efd2f55958dc4f915890091ecf436d33d8c4f (diff)
downloadcolm-00b1dd7777079036321afb8b3dcff0a229815517.tar.gz
reusing stream impls when parsing from 'input'
To detect parsing from a top level input and to avoid appending it to a parser's top level (thus creating a tree), added a new type for input so we can replace the parser's top level. This change forces us to a two level structure where stream seq is at the top and stream data underneath. Requires us to hack the destructor so that we don't multiple delete the stream impl.
Diffstat (limited to 'src/pdarun.h')
-rw-r--r--src/pdarun.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/pdarun.h b/src/pdarun.h
index 9190b430..41020ebb 100644
--- a/src/pdarun.h
+++ b/src/pdarun.h
@@ -317,7 +317,6 @@ struct pda_run
long steps;
long target_steps;
-
/* The shift count simply tracks the number of shifts that have happend.
* The commit shift count is the shift count when the last commit occurred.
* If we back up to this number of shifts then we decide we cannot proceed.