Remove debug

FStarLang · Jan 10, 2025 · 6240938 · 6240938
1 parent 3494f49
commit 6240938
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/lib/CStarToC11.ml b/lib/CStarToC11.ml
@@ -1301,7 +1301,6 @@ let mk_type_or_external m (w: where) ?(is_inline_static=false) (d: decl): C.decl
                 (Z.of_int (List.length cases)),
               if custom_values <> [] then List.hd custom_values else Z.zero
             in
-            KPrint.bprintf "max_value=%s, min_value=%s\n" (Z.to_string max_value) (Z.to_string min_value);
             let t =
               if Z.(geq min_value zero && leq max_value (of_string "0xff")) then
                 K.UInt8