From 745367a4ed1ebbc53bcf27f2e8029b302dc3d0b9 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 23 Oct 2019 16:51:09 -0700 Subject: [PATCH] fix: remove irrelevant arguments --- src/runtime/io.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/runtime/io.cpp b/src/runtime/io.cpp index 180886db9e..60e62c2ebc 100644 --- a/src/runtime/io.cpp +++ b/src/runtime/io.cpp @@ -133,7 +133,7 @@ extern "C" obj_res lean_io_prim_handle_get_line(b_obj_arg /* h */, obj_arg /* w } /* timeit {α : Type} (msg : @& string) (fn : io α) : io α */ -extern "C" obj_res lean_io_timeit(obj_arg, b_obj_arg msg, obj_arg fn, obj_arg w) { +extern "C" obj_res lean_io_timeit(b_obj_arg msg, obj_arg fn, obj_arg w) { auto start = std::chrono::steady_clock::now(); w = apply_1(fn, w); auto end = std::chrono::steady_clock::now(); @@ -149,7 +149,7 @@ extern "C" obj_res lean_io_timeit(obj_arg, b_obj_arg msg, obj_arg fn, obj_arg w) } /* allocprof {α : Type} (msg : string) (fn : io α) : io α */ -extern "C" obj_res lean_io_allocprof(obj_arg, b_obj_arg msg, obj_arg fn, obj_arg w) { +extern "C" obj_res lean_io_allocprof(b_obj_arg msg, obj_arg fn, obj_arg w) { std::ostream & out = std::cerr; // TODO(Leo): replace? allocprof prof(out, string_cstr(msg)); return apply_1(fn, w);