diff options
Diffstat (limited to 'mu.arc.t')
| -rw-r--r-- | mu.arc.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mu.arc.t b/mu.arc.t index 3740a1b7..346243a8 100644 --- a/mu.arc.t +++ b/mu.arc.t @@ -2316,7 +2316,7 @@ ((ochan channel-address) <- arg) ((x tagged-value-address) <- new-tagged-value (integer-address literal) (n integer-address)) ((ochan channel-address deref) <- write (ochan channel-address deref) (x tagged-value-address deref))))) -(set dump-trace*) +;? (set dump-trace*) ;? (= dump-trace* (obj whitelist '("schedule" "run" "addr"))) ;? (= dump-trace* (obj whitelist '("-"))) (run 'f1) |