diff options
Diffstat (limited to 'src/interp/wi1.boot')
-rw-r--r-- | src/interp/wi1.boot | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/interp/wi1.boot b/src/interp/wi1.boot index 7f11de54..7f402883 100644 --- a/src/interp/wi1.boot +++ b/src/interp/wi1.boot @@ -1190,7 +1190,6 @@ compDefineCategory2(form,signature,specialCases,body,m,e, --Begin lines for category default definitions $functionStats: local:= [0,0] $functorStats: local:= [0,0] - $frontier: local := 0 $getDomainCode: local := nil $addForm: local:= nil for x in sargl for t in rest signature' repeat |