diff options
| author |  Jason Gross <jagro@google.com> | 2018-06-29 19:36:30 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-07-03 19:28:55 -0400 |
| commit | 801edb6019a6f02c417b093288b1540a68be63b1 (patch) | |
| tree | 11f3e3094a68aeec230654a2bd968766949daaf0 /src | |
| parent | 63e0712c217944df2a0a06c439c834e1b0a7295e (diff) | |
Fix a reification issue
Diffstat (limited to 'src')
| -rw-r--r-- | src/Experiments/NewPipeline/Arithmetic.v | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Experiments/NewPipeline/Arithmetic.v b/src/Experiments/NewPipeline/Arithmetic.v index e6b25efaa..d388beca9 100644 --- a/src/Experiments/NewPipeline/Arithmetic.v +++ b/src/Experiments/NewPipeline/Arithmetic.v @@ -224,8 +224,9 @@ Module Associational. list_rect _ nil - (fun '(t, c_t, two_c_t, two_t) ts acc - => (if (fst t mod s =? 0) + (fun t ts acc + => let '(t, c_t, two_c_t, two_t) := t in + (if (fst t mod s =? 0) then div_s (mul c_t [t]) else mul [t] [t]) ++ (flat_map |