diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-08-17 19:04:35 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-08-17 19:04:35 -0700 |
| commit | d990e8f07aee36f68bcd270889d20c2d22b9aa0b (patch) | |
| tree | 07a624ea81f2974e1bb038462f4d0607237ea431 /html/091run_sandboxed.cc.html | |
| parent | cb159b8c8a888f089676a63273b76b641e860d88 (diff) | |
| download | mu-d990e8f07aee36f68bcd270889d20c2d22b9aa0b.tar.gz | |
3219
Trying keeping html in the master branch: https://github.com/blog/2228-simpler-github-pages-publishing Let's see if https://akkartik.github.io/mu updates after I push this commit to just the master branch.
Diffstat (limited to 'html/091run_sandboxed.cc.html')
| -rw-r--r-- | html/091run_sandboxed.cc.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/091run_sandboxed.cc.html b/html/091run_sandboxed.cc.html index 375b6beb..cd7cd455 100644 --- a/html/091run_sandboxed.cc.html +++ b/html/091run_sandboxed.cc.html @@ -387,7 +387,7 @@ def main [ string Most_recent_products<span class="Delimiter">;</span> <span class="Delimiter">:(before "End Setup")</span> Most_recent_products = <span class="Constant">""</span><span class="Delimiter">;</span> -<span class="Delimiter">:(before "End of Instruction")</span> +<span class="Delimiter">:(before "End Running One Instruction")</span> <span class="Normal">if</span> <span class="Delimiter">(</span>Track_most_recent_products<span class="Delimiter">)</span> <span class="Delimiter">{</span> track_most_recent_products<span class="Delimiter">(</span>current_instruction<span class="Delimiter">(),</span> products<span class="Delimiter">);</span> <span class="Delimiter">}</span> |