diff options
Diffstat (limited to 'src/interp/clam.boot')
| -rw-r--r-- | src/interp/clam.boot | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/interp/clam.boot b/src/interp/clam.boot index d0eefed6..cdfb6e73 100644 --- a/src/interp/clam.boot +++ b/src/interp/clam.boot @@ -545,7 +545,6 @@ recordInstantiation(op,prop,dropIfTrue) == stopTimingProcess 'debug recordInstantiation1(op,prop,dropIfTrue) == - op in '(CategoryDefaults RepeatedSquaring) => nil--ignore defaults for now if $reportEachInstantiation then trailer:= (dropIfTrue => '" dropped"; '" instantiated") if $insideCoerceInteractive= true then |