diff --git a/s2e_env/templates/plugin_creation/plugin.cpp.template b/s2e_env/templates/plugin_creation/plugin.cpp.template index 757b00a..09e62bc 100644 --- a/s2e_env/templates/plugin_creation/plugin.cpp.template +++ b/s2e_env/templates/plugin_creation/plugin.cpp.template @@ -43,7 +43,7 @@ class {{ plugin.name }}State: public PluginState { // Declare any methods and fields you need here public: - static PluginState *factory(Plugin *p, S2EExecutionState *s) { + static PluginState *factory(Plugin *p) { return new {{ plugin.name }}State(); }