diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-05-26 22:30:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-26 20:30:19 +0000 |
commit | 028d657dc41bbb908b7b9ad6ba707dc2216b15ac (patch) | |
tree | 326095421f2cdf2f846bc216fca1185443c43498 /test/regress/regress0/bug274.cvc | |
parent | a24d6c8cf774f971a3eff62f73b2558b01b04440 (diff) |
Use references instead of getter functions (#6597)
This PR follows a suggestions of @ajreynol to use public references instead of getter functions to access the individual option modules.
Diffstat (limited to 'test/regress/regress0/bug274.cvc')
0 files changed, 0 insertions, 0 deletions