Skip to content

Commit 77df8c1

Browse files
as535364vitalych
authored andcommitted
fix: Update plugin state factory signature
1 parent 7f88025 commit 77df8c1

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

s2e_env/templates/plugin_creation/plugin.cpp.template

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ class {{ plugin.name }}State: public PluginState {
4343
// Declare any methods and fields you need here
4444

4545
public:
46-
static PluginState *factory(Plugin *p, S2EExecutionState *s) {
46+
static PluginState *factory(Plugin *p) {
4747
return new {{ plugin.name }}State();
4848
}
4949

0 commit comments

Comments
 (0)