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 e6b3de61..399c58fd 100644 --- a/src/interp/br-op2.boot +++ b/src/interp/br-op2.boot @@ -148,7 +148,7 @@ dbGetFormFromDocumentation(op,sig,x) == string? doc and (stringPrefix?('"\spad{",doc) and (k := 6) or stringPrefix?('"\s{",doc) and (k := 3)) => - n := charPosition($charRbrace,doc,k) + n := charPosition(char "}",doc,k) s := subString(doc,k,n - k) parse := ncParseFromString s parse is [=op,:.] and #parse = #sig => parse |