Skip to content

Commit 9b88f16

Browse files
committed
fix typo in example notebook
1 parent 7968161 commit 9b88f16

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

demo/testTerminateEverywhere.xnb.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -322,7 +322,7 @@
322322
fPDBBx988MEHH3zelgjGN3zDN3zDN3zDN3zDN3z7EGxgEYxv+IZv+IZv+IZv+IZv+PahGb4I
323323
xjd8wzd8w7cP05p38P+Lb/iGb57mKYLxDd/wDd/wDd/wDd/wDd8+ZBvBBx988MEHH3zwwQcf
324324
fPDBBx988MEHH3zwwQeE/w+Y/mnqhVQKLAAAAABJRU5ErkJggg==" /></ExploratoryNotebook></font><font color="#000000"><br>
325-
</font><font color="#008080"><i>&quot;Basically, this is a smoke test that asserts that the block can be terminated at any execution time correctly. However, in the current trunk, this test fails at step 278:&quot;</i></font><font color="#000000"><br>
325+
</font><font color="#008080"><i>&quot;Basically, this is a smoke test that asserts that the block can be terminated at any execution time correctly. However, in the current trunk, this test fails at step 332:&quot;</i></font><font color="#000000"><br>
326326
<br>
327327
</font><font color="#000000">block</font><font color="#000000"> </font><b>:=</b><font color="#000000"> </font><font color="#000000">[</font><font color="#008000">(</font><font color="#800080">[</font><font color="#800000">[</font><font color="#000000">Notification</font><font color="#000000"> </font><font color="#000080">signal</font><font color="#800000">]</font><font color="#000000"><br>
328328
&nbsp;&nbsp;&nbsp;&nbsp;</font><font color="#000080">ensure:</font><font color="#000000"> </font><font color="#800000">[</font><font color="#800000">]</font><font color="#800080">]</font><font color="#000000"><br>

0 commit comments

Comments
 (0)