diff options
Diffstat (limited to '030container.cc')
| -rw-r--r-- | 030container.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/030container.cc b/030container.cc index 61fad420..c89353a3 100644 --- a/030container.cc +++ b/030container.cc @@ -393,7 +393,6 @@ Next_type_ordinal = 1000; :(scenario run_warns_on_unknown_types) % Hide_warnings = true; -#? % Trace_stream->dump_layer = "run"; recipe main [ # integer is not a type 1:integer <- copy 0 |