Module name clashes - Githubissues

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

102 stars 14 forks source link

Module name clashes #282

Closed fortunac closed 3 years ago

fortunac commented 3 years ago

We were unable to load both bildb and wp because of name clashes with the plugin modules. To remedy this, we should prefix the name of the plugin to the module.

wp/plugin/lib/utils.ml -> wp/plugin/lib/wp_utils.ml
bildb/lib/utils.ml -> bildb/lib/bildb_utils.ml
etc.