diff options
| author | Thomas Bauereiss | 2017-12-19 11:28:48 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-12-19 12:02:58 +0000 |
| commit | dfd6d278deb29e5fd39e3246a52bb0999451a47c (patch) | |
| tree | f53aeab0559434d39d027994bd04a650a9df9812 /src/rewriter.ml | |
| parent | fb12f81bc8c682439a440e3939c7ae029d91fd5e (diff) | |
Fix a bug in untupling function arguments for Lem
Was missing the case where the tuple of arguments is bound against a single
variable using P_id (not P_as). Now replaces that with the expected number of
argument variables, and rebinds the single variable in the body, as for the
other cases.
Diffstat (limited to 'src/rewriter.ml')
0 files changed, 0 insertions, 0 deletions