From c93929c66854f62d59b5f04142b7737c7c91763d Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 28 Jun 2018 20:31:43 -0400 Subject: Fix missing arg --- src/Experiments/NewPipeline/SlowPrimeSynthesisExamples.v | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Experiments/NewPipeline/SlowPrimeSynthesisExamples.v b/src/Experiments/NewPipeline/SlowPrimeSynthesisExamples.v index de848364a..ed448c75c 100644 --- a/src/Experiments/NewPipeline/SlowPrimeSynthesisExamples.v +++ b/src/Experiments/NewPipeline/SlowPrimeSynthesisExamples.v @@ -151,7 +151,7 @@ fun var : type -> Type => *) Compute Compilers.ToString.C.ToFunctionString - true "" "fecarry_mul" base_51_carry_mul + true "" "fecarry_mul" [] base_51_carry_mul None (Some loose_bounds, (Some loose_bounds, tt)). (* void fecarry_mul(uint64_t[5] x1, uint64_t[5] x2, uint64_t[5] x3) { @@ -170,7 +170,7 @@ void fecarry_mul(uint64_t[5] x1, uint64_t[5] x2, uint64_t[5] x3) { } *) Compute Compilers.ToString.C.ToFunctionString - true "" "fesub" base_51_sub + true "" "fesub" [] base_51_sub None (Some tight_bounds, (Some tight_bounds, tt)). (* void fesub(uint64_t[5] x1, uint64_t[5] x2, uint64_t[5] x3) { -- cgit v1.2.3