diff options
Diffstat (limited to 'src/jib/jib_ssa.ml')
| -rw-r--r-- | src/jib/jib_ssa.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/jib/jib_ssa.ml b/src/jib/jib_ssa.ml index e0ff4849..852f1bbd 100644 --- a/src/jib/jib_ssa.ml +++ b/src/jib/jib_ssa.ml @@ -456,6 +456,7 @@ let rename_variables graph root children = | F_call (id, fs) -> F_call (id, List.map fold_frag fs) | F_field (f, field) -> F_field (fold_frag f, field) | F_raw str -> F_raw str + | F_ctor_kind (ctor, unifiers, ctyp) -> F_ctor_kind (ctor, unifiers, ctyp) | F_poly f -> F_poly (fold_frag f) in |