removed comment

rems-project · Dec 4, 2024 · 497db57 · 497db57
1 parent 192a5f8
commit 497db57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)))