Skip to content

Commit 3096609

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 44a840b commit 3096609

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)