Skip to content

Commit ff36843

Browse files
Make framet a struct
As convention we generaly use `class` in presence of virtual functions, which is not the case here.
1 parent 242f805 commit ff36843

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

src/goto-symex/goto_symex_state.h

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -267,9 +267,8 @@ class goto_symex_statet final
267267

268268
// stack frames -- these are used for function calls and
269269
// for exceptions
270-
class framet
270+
struct framet
271271
{
272-
public:
273272
// function calls
274273
irep_idt function_identifier;
275274
goto_state_mapt goto_state_map;

0 commit comments

Comments
 (0)