From 497db57812e0dad88b5a8acaa89eec4b188e122d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9on=20Frenot?= Date: Wed, 4 Dec 2024 14:00:54 +0000 Subject: [PATCH] removed comment --- src/sail_lean_backend/pretty_print_lean.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sail_lean_backend/pretty_print_lean.ml b/src/sail_lean_backend/pretty_print_lean.ml index 88609edd6..bf3332014 100644 --- a/src/sail_lean_backend/pretty_print_lean.ml +++ b/src/sail_lean_backend/pretty_print_lean.ml @@ -117,7 +117,7 @@ let rec doc_exp (E_aux (e, (l, annot)) as full_exp) = | E_app (Id_aux (Id "internal_pick", _), _) -> string "sorry" (* TODO replace by actual implementation of internal_pick *) | E_internal_plet _ -> - string "sorry /- internal plet -/" (* TODO replace by actual implementation of internal_plet *) + string "sorry" (* TODO replace by actual implementation of internal_plet *) | E_app (f, args) -> let d_id = if Env.is_extern f env "lean" then string (Env.get_extern f env "lean") else doc_exp (E_aux (E_id f, (l, annot)))