From e2f9979e5cc7297f89e3ff0c86860c6686e9eaab Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 3 Sep 2015 18:58:08 -0700 Subject: 2137 --- 030container.cc | 1 - 1 file changed, 1 deletion(-) (limited to '030container.cc') 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 -- cgit 1.4.1-2-gfad0