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} ;