diff options
| author | Gaëtan Gilbert | 2019-01-24 15:50:20 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-01-24 15:50:20 +0100 |
| commit | b0fde943cdccab16bfcddb49ce109227ccf814c9 (patch) | |
| tree | 642e830027e2273bf872d9f294395f2e9e47433d /kernel | |
| parent | 19c6007a003f3ec6d2d92b1ca213270ff16b58fb (diff) | |
Simplify code for Recordops.cs_pattern_of_constr
This has different behaviour if called on an applied Rel, not sure if
that ever happens.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions