remove dead code elimination option (#7669)

This commit is contained in:
Jacek Sieka 2018-04-23 17:02:38 +08:00 • committed by Andreas Rumpf
commit 72dfe176f5
57 changed files with 67 additions and 122 deletions

View file

@ -11,7 +11,7 @@
##
## To unpack raw bytes look at the `streams <streams.html>`_ module.
{.deadCodeElim: on.}
{.deadCodeElim: on.} # dce option deprecated
{.push debugger:off .} # the user does not want to trace a part
# of the standard library!