fix(engine): drop debug logs

cryspen · Oct 31, 2023 · c5f6e56 · c5f6e56
1 parent 40a62c7
commit c5f6e56
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/engine/backends/fstar/fstar_backend.ml b/engine/backends/fstar/fstar_backend.ml
@@ -653,7 +653,6 @@ struct
 
   let pmaybe_refined_ty span (free_variables : string list) (attrs : attrs)
       (binder_name : string) (ty : ty) : F.AST.term =
-    prerr_endline @@ "pmaybe_refined_ty[attrs]=" ^ [%show: attrs] attrs;
     match Attrs.associated_refinement_in_type free_variables attrs with
     | Some refinement ->
         F.mk_refined binder_name (pty span ty) (fun ~x -> pexpr refinement)