mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-13 04:44:39 +00:00
Delete duplicate import.
This commit is contained in:
@@ -13,7 +13,6 @@
|
||||
:- implementation.
|
||||
|
||||
:- import_module assoc_list.
|
||||
:- import_module bitmap.
|
||||
:- import_module bit_buffer.
|
||||
:- import_module bit_buffer.read.
|
||||
:- import_module bit_buffer.write.
|
||||
|
||||
Reference in New Issue
Block a user