Remove an unused import

This commit is contained in:
Faraz Vahedi 2022-07-04 16:31:45 +00:00
parent 9e3995d0ee
commit 7ca08f1ef1
No known key found for this signature in database
GPG key ID: C68BD5EB845996F1

View file

@ -1,6 +1,6 @@
MODULE Texts; (** CAS/HM 23.9.93 -- interface based on Texts by JG/NW 6.12.91**) (* << RC, MB, JT *) MODULE Texts; (** CAS/HM 23.9.93 -- interface based on Texts by JG/NW 6.12.91**) (* << RC, MB, JT *)
IMPORT IMPORT
Files, Modules, Reals, SYSTEM, Out; Files, Modules, Reals, SYSTEM;
(*--- insert field e: Elem into Texts.Scanner and change Texts.Scan to set it in case of class=6 *) (*--- insert field e: Elem into Texts.Scanner and change Texts.Scan to set it in case of class=6 *)