Skip to content

Commit 9f95595

Browse files
Make object_factory_parameters::set virtual
This enables derived classes to implement their own language specific options
1 parent 9739c2e commit 9f95595

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/util/object_factory_parameters.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -77,7 +77,7 @@ struct object_factory_parameterst
7777
irep_idt function_id;
7878

7979
/// Assigns the parameters from given options
80-
void set(const optionst &);
80+
virtual void set(const optionst &);
8181
};
8282

8383
void parse_object_factory_options(const cmdlinet &, optionst &);

0 commit comments

Comments
 (0)