Skip to content

Commit ecd200d

Browse files
committed
expr2c/{r,w,rw}_ok: add a dedicated method
This will ensure stable output even when the internals of the expression change (as is done in follow-up commits).
1 parent 6f14542 commit ecd200d

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/ansi-c/expr2c_class.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,7 @@ class qualifierst;
2828
class namespacet;
2929
class r_or_w_ok_exprt;
3030
class pointer_in_range_exprt;
31+
class r_or_w_ok_exprt;
3132

3233
class expr2ct
3334
{

0 commit comments

Comments
 (0)