diff options
Diffstat (limited to 'src/interp/mark.boot')
| -rw-r--r-- | src/interp/mark.boot | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/interp/mark.boot b/src/interp/mark.boot index 07a670c0..75caa58e 100644 --- a/src/interp/mark.boot +++ b/src/interp/mark.boot @@ -1525,7 +1525,6 @@ for x in [["%LET", :"compSetq"],_ ["SubsetCategory", :"compSubsetCategory"],_ ["SubDomain", :"compSubDomain"],_ ["case", :"compCase"],_ - ["String", :"compString"],_ ["RecordCategory", :"compConstructorCategory"],_ ["ListCategory", :"compConstructorCategory"],_ ["VectorCategory", :"compConstructorCategory"],_ |