From e2f9979e5cc7297f89e3ff0c86860c6686e9eaab Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 3 Sep 2015 18:58:08 -0700 Subject: 2137 --- 023jump.cc | 1 - 1 file changed, 1 deletion(-) (limited to '023jump.cc') diff --git a/023jump.cc b/023jump.cc index ba18e439..925906de 100644 --- a/023jump.cc +++ b/023jump.cc @@ -1,7 +1,6 @@ //: Jump primitives :(scenario jump_can_skip_instructions) -#? % Trace_stream->dump_layer = "all"; #? 1 recipe main [ jump 1:offset 1:number <- copy 1 -- cgit 1.4.1-2-gfad0