fix class naming

2022-06-02 08:30:49 +02:00
parent f40ab41899
commit 076b5a39ad
4 changed files with 13 additions and 13 deletions
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -177,7 +177,7 @@ int main(int argc, char *argv[]) {
                    vm->register_plugin(*ce_plugin);
                    plugin_list.push_back(ce_plugin);
                } else if (plugin_name == "pctrace") {
-                    auto *plugin = new iss::plugin::cov(filename);
+                    auto *plugin = new iss::plugin::pctrace(filename);
                    vm->register_plugin(*plugin);
                    plugin_list.push_back(plugin);
               } else {