From 0e4a335edc7d4e584924fd6b298156e45d2626c8 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 6 Sep 2015 16:35:46 -0700 Subject: 2175 --- html/023jump.cc.html | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'html/023jump.cc.html') diff --git a/html/023jump.cc.html b/html/023jump.cc.html index 63248241..9e239685 100644 --- a/html/023jump.cc.html +++ b/html/023jump.cc.html @@ -14,12 +14,11 @@ pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background- body { font-family: monospace; color: #eeeeee; background-color: #080808; } * { font-size: 1.05em; } .traceAbsent { color: #c00000; } -.Identifier { color: #804000; } .cSpecial { color: #008000; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.CommentedCode { color: #6c6c6c; } +.Identifier { color: #804000; } .Constant { color: #00a0a0; } .traceContains { color: #008000; } --> @@ -36,7 +35,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } //: 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