diff options
Diffstat (limited to 'src/interp/br-op2.boot')
| -rw-r--r-- | src/interp/br-op2.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/br-op2.boot b/src/interp/br-op2.boot index 3eff1ceb..3dc6086a 100644 --- a/src/interp/br-op2.boot +++ b/src/interp/br-op2.boot @@ -149,7 +149,7 @@ dbGetFormFromDocumentation(op,sig,x) == (stringPrefix?('"\spad{",doc) and (k := 6) or stringPrefix?('"\s{",doc) and (k := 3)) => n := charPosition($charRbrace,doc,k) - s := SUBSTRING(doc,k,n - k) + s := subString(doc,k,n - k) parse := ncParseFromString s parse is [=op,:.] and #parse = #sig => parse nil |