From 21f1f23ab9dced635757b6d69c8a00382a324c6f Mon Sep 17 00:00:00 2001 From: Claudio Russo Date: Wed, 15 Jan 2025 17:16:28 +0000 Subject: [PATCH] remove debug spew --- src/codegen/compile_enhanced.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/codegen/compile_enhanced.ml b/src/codegen/compile_enhanced.ml index b6addc1291b..1db86ce8a57 100644 --- a/src/codegen/compile_enhanced.ml +++ b/src/codegen/compile_enhanced.ml @@ -12268,11 +12268,9 @@ and compile_prim_invocation (env : E.t) ae p es at = | ICStableRead ty, [] -> SR.Vanilla, - (* IC.compile_static_print env ("ICStableRead" ^ Type.string_of_typ ty) ^^ *) Persistence.load env ty | ICStableWrite ty, [] -> SR.unit, - (* IC.compile_static_print env ("ICStableWrite" ^ Type.string_of_typ ty) ^^ *) Persistence.save env ty (* Cycles *)