diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-04-02 17:17:39 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-04-02 17:17:39 +0200 |
| commit | 9fed4c5bdb4928c7f5c73e85888de54672cd4c56 (patch) | |
| tree | ae605f8c39bd4092233175de34b6d0b2f16481f4 /CONTRIBUTORS | |
| parent | 4459045d1beb1478943d96c314e72c5ede18154a (diff) | |
| download | ouroboros-9fed4c5bdb4928c7f5c73e85888de54672cd4c56.tar.gz ouroboros-9fed4c5bdb4928c7f5c73e85888de54672cd4c56.zip | |
lib: Remove check for equal names
Removes name_is_equal. Just using instance_name_cmp is encouraged. It
also removes a wrong initialization in the irm tool.
Diffstat (limited to 'CONTRIBUTORS')
0 files changed, 0 insertions, 0 deletions