1
0
mirror of https://github.com/TomHarte/CLK.git synced 2025-08-06 16:25:35 +00:00

Merge pull request #326 from TomHarte/TyperTermination

Ensures typers terminate.
This commit is contained in:
Thomas Harte
2017-12-30 10:49:53 -08:00
committed by GitHub

View File

@@ -62,6 +62,7 @@ bool Typer::type_next_character() {
if(!try_type_next_character()) { if(!try_type_next_character()) {
phase_ = 0; phase_ = 0;
string_pointer_++; string_pointer_++;
if(string_pointer_ == string_.size()) return false;
} else { } else {
phase_++; phase_++;
} }