diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-04-13 23:18:06 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-04-13 23:18:06 -0700 |
commit | 6a7ff61cb909231655e6648618efb37af132bd48 (patch) | |
tree | d1daf0c7ef34793dddd17149b9c5a736cc9fa1d4 /020run.cc | |
parent | 987b630476eff43467905299d936c388f28d3fc6 (diff) | |
download | mu-6a7ff61cb909231655e6648618efb37af132bd48.tar.gz |
3821
Fix CI.
Diffstat (limited to '020run.cc')
-rw-r--r-- | 020run.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/020run.cc b/020run.cc index 892800f4..f5b05ed1 100644 --- a/020run.cc +++ b/020run.cc @@ -110,6 +110,7 @@ void run_current_routine() { :(before "End Globals") bool Writing_products_of_instruction = false; +:(code) //: hook replaced in a later layer bool should_continue_running(const routine* current_routine) { assert(current_routine == Current_routine); // argument passed in just to make caller readable above |