- | GrafiteAst.Coercion (loc, uri, close, arity) ->
- GrafiteAst.Coercion (loc, rehash_uri uri, close, arity)
+ | GrafiteAst.Coercion (loc, uri, close, arity, saturations) ->
+ GrafiteAst.Coercion (loc, CicUtil.rehash_term uri, close, arity, saturations)