diff options
Diffstat (limited to 'src/interp/g-timer.boot')
| -rw-r--r-- | src/interp/g-timer.boot | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/interp/g-timer.boot b/src/interp/g-timer.boot index 6604567f..31aad0b9 100644 --- a/src/interp/g-timer.boot +++ b/src/interp/g-timer.boot @@ -1,6 +1,6 @@ -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. -- All rights reserved. --- Copyright (C) 2007-2012, Gabriel Dos Reis. +-- Copyright (C) 2007-2016, Gabriel Dos Reis. -- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without @@ -247,9 +247,6 @@ timedOptimization(code) == startTimingProcess 'optimization $getDomainCode : local := nil r := simplifyVMForm code - if $reportOptimization then - sayBrightlyI bright '"Optimized intermediate code:" - pp r stopTimingProcess 'optimization r |