diff options
author | Jason Gross <jgross@mit.edu> | 2017-11-07 14:32:26 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-11-07 14:32:26 -0500 |
commit | 3f3f454c314a5c71cba88ee2d8fc5968f85a5b36 (patch) | |
tree | 7492bd81f661b6aa7d1d145a2bcead173ac1477c /src/Specific/Framework | |
parent | ffcde2d3a9ed23a2236ea1d5692d5544207b6da6 (diff) |
[fix build] Fix nonbuilding OutputType file
Diffstat (limited to 'src/Specific/Framework')
-rw-r--r-- | src/Specific/Framework/OutputType.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/Framework/OutputType.v b/src/Specific/Framework/OutputType.v index 463a66a87..80fced923 100644 --- a/src/Specific/Framework/OutputType.v +++ b/src/Specific/Framework/OutputType.v @@ -36,7 +36,7 @@ Section gen. (T:=Tbase _) (Tuple.map (fun v => Op (OpConst v) TT) - (@Positional.Fencode wt curve.(sz) m modulo div v)))). + (@Positional.Fencode wt curve.(sz) m (@modulo_cps) (@div_cps) v)))). Definition decode : T' -> F m := fun v => @Positional.Fdecode wt (curve.(sz)) m |