From 11b1d575ad8b57f4e7d1a10c0e702bf4c058bb1c Mon Sep 17 00:00:00 2001 From: Steven de Oliveira Date: Mon, 16 Oct 2023 17:28:27 +0200 Subject: [PATCH] More poetry --- src/lib/frontend/typechecker.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/lib/frontend/typechecker.ml b/src/lib/frontend/typechecker.ml index b12e6342a2..ebb4b281a8 100644 --- a/src/lib/frontend/typechecker.ml +++ b/src/lib/frontend/typechecker.ml @@ -279,7 +279,6 @@ module Env = struct | _ -> assert false let add_fpa_builtins env = - (* let module FPAU = Fpa_rounding.AE in *) let (->.) args result = { args; result } in let int n = { c = { tt_desc = TTconst (Tint n); tt_ty = Ty.Tint} ;