removed some IMPORTS that were never used
This commit is contained in:
@@ -9,7 +9,7 @@ IMPLEMENTATION MODULE CSP;
|
||||
*)
|
||||
|
||||
FROM random IMPORT Uniform;
|
||||
FROM SYSTEM IMPORT BYTE, TSIZE, ADDRESS, ADR, NEWPROCESS, TRANSFER;
|
||||
FROM SYSTEM IMPORT BYTE, ADDRESS, NEWPROCESS, TRANSFER;
|
||||
FROM Storage IMPORT ALLOCATE, DEALLOCATE;
|
||||
IMPORT Traps;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user