diff options
Diffstat (limited to 'src/interp/ax.boot')
| -rw-r--r-- | src/interp/ax.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/ax.boot b/src/interp/ax.boot index 9a2d774a..e3728a78 100644 --- a/src/interp/ax.boot +++ b/src/interp/ax.boot @@ -73,7 +73,7 @@ makeAxFile(filename, constructors) == ['Import, [], 'AxiomLib], ['Import, [], 'Boolean], :axForms] st := MAKE_-OUTSTREAM(filename) PPRINT(axForm,st) - closeFile st + closeStream st makeAxExportForm(filename, constructors) == $defaultFlag : local := false |